The CommonMark spec indicates that blocks that start with an HTML comment are HTML blocks. The Markdown parser was doing no further parsing on such blocks. This patch makes it so that the HTML parser is run on them, to make the highlighting less surprising in cases where there’s content after the comment.