weird highlight in vscode

Stream: new members

[Zhang Qinchuan]

Things after /- a<b -/ becomes blue.
screenshot.png

[Eric Wieser]

Yep, the syntax highlighter eagerly decides it is parsing XML, and no silly lean comment terminator is going to change its mind

[Kevin Buzzard]

I'm constantly running into this and my usual fix is to just write a < b (i.e., add spaces)