A minimalist text editor.