A lightweight text editor.