Anthony's Editor, as per http://sites.google.com/site/texteditors/Home/files/Anthonys_Editor.zip