HTML comment ligature

[Tharmin]

Hi, I would like to request a ligature for the HTML comment syntax, <!-- comment -->
With the new extended ligatures, only the --> at the end of the comment is changed, as in the example below:

In this case, perhaps when the characters for <!-- are detected, the two hyphens could be merged into one solid line? If there are any better solutions though, please do feel free to implement what you feel is appropriate in this situation, thanks!

[Ciubix8513]

I gave it a try