There is another extension capable to rdit HTML source. Rated 3 out of 5 stars

There is another extension capable to rdit HTML source.
It is my extension, called "Stationery".
It also have syntax highlighting, and is capable to load external HTML file as template of new mail.