Fixed broken code highlight on Safari of iOS 15.7.8

[Dieken]

On iOS, the "type A */" is rendered as "type A //", seems highlight.js is incompatible with iOS Safari, wrongly replaces "*/" with "//".

I'm not able to find the root cause, thus change to inline comment to bypass the issue.