Hey there! The author of highlight.js here 
@codinghorror is spot on: indeed this code is recognized as something else because thereās enough of interesting stuff happening within the comment. This is one of the cases where heuristics fails and thatās why we have the ability to set the language explicitly ā donāt refrain from using it!
Having said that, I think it will be possible to improve our heuristics across the board so highlighting of this comment will probably be fixed as a side effect.