What tool (or other proficiency hacks) do magazine editors use to help them do their job better, to save their time?