Thank you for reporting this. I’ll let our documentation team know about this issue. Note that now you can also propose changes to the docs using the “Edit” button in the upper right corner of the documents. In this case the problem seems to be with the highlighter itself, the language is marked correctly in the docs markdown.