HTML corrector encodes HTML comments

Create any page, Full HTML input format, with an HTML comment. The HTML corrector will convert the initial < of <-- into &lt; and so the comment is displayed as actual text (along with its opening and closing delimiters).