Simple Tk-based HTML editor
