An HTML editor with autosave options