Review for HTML Source Editor by Dave Land
Rated 5 out of 5 stars
Does what it says on the tin: Lets you edit the HTML, if that's something you need.
The only issue I find with it is that if the HTML includes images inserted inline, the editor becomes extremely (really, unusably) slow. I'm pretty sure that this is the fault of whatever library is in use to provide the text editor (which appears to be "ace editor," which looks a lot like CodeMirror).
Thank you!
To create your own collections, you must have a Mozilla Add-ons account.