There is a <source> tag...
No, I mean,
when I do Ctrl+U in Firefox, to see the source code of a page, I
want to see my "real HTML comments" like real HTML comments, green italic.
Sure we can, it shouldn't be hard in any way.
I'll think about this. (I didn't found anything similar on Bugzilla.)