A simple HTML editor.
