HTMLLexer: wrong rule for html comments

[HubertKauker]

Hi all.

The HTMLLexer.g4 contains the rule: HTML_COMMENT: '<!--' .*? '-->';

But that seems to be wrong, because on whatwg.org we find:

13.1.6 Comments
Comments must have the following format:
• The string "<!--".
• Optionally, text, with the additional restriction that the text 
must not start with the string ">", nor start with the string "->", 
nor contain the strings "<!--", "-->", or "--!>", 
nor end with the string "<!-".
• The string "-->”.

So, the comment text is not just .*? , right? Thanks.