A TinyMCE plugin that provides an HTML editor including all Emmet features