The Grumpy Editor's guide to terminal emulators