Miscellany
Editing
Some remarks on editing technical papers