Simplify wording around editor usage

'$ editor <filename>' makes the docs more wordy, and is more likely to confuse readers who skim.