(brainwave) if you are trying to teach STEM majors why it is important to edit their work, a famously fruitless task, do not call it editing; call it refactoring