There is another extension capable to rdit HTML source. Bewertet mit 3 von 5 Sternen

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.