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.)
Sylvain Brunerie