The problem with a bad editor is not that it wastes time, but that it generates many small interruptions, in the form of awkward editing tasks, which can break trains of thought. The cost of this is drastically higher than the time spend would indicate.
