Steps to reproduce
enter:
<!- -ID: 1607975501753 - - >
(-- > with no spaces).
Expected result
Closing html comment should be supported the same way openining <!-- is supported.
Actual result
- - > gets converted to → long arrow even if it is part of a comment
Environment
OSX 11.0.2
0.10.12
Other info:
This is used to track info for the Anki plugin.