Finished Text Editors and HTML