A tiny text editor, with a number of useful programming features