Rated 3 out of 5 stars

le Arivald ar MFómh. 24, 2008 · buan-nasc

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.