This is a version of the HtmlEditor that I broke apart into several files:
I broke out the handling of the Iframe to its own class, with the idea of a CodePress type thing on top of it, as well as the HtmlEditor. The HtmlEditorPlugin is a base for other plugins. I took most of the functionality of the current editor and put it into the Standard plugin file.
I have other plugins, I'll put some up later. They can be under a different license. This is GPL since they are based on ExtJS code.