Python's “//” operator treated as a comment
I noticed in one of the answers to my question
that the automatic formatting is broken. It does seem to be correctly recognizing the language as Python, judging by the highlighted keywords, but it seems to be under the impression that // is a comment instead of a division operator. Perhaps something in the system hasn't been fully updated to Python 3?
(Sorry, there's probably some proper way to link to another question, but I couldn't figure it out so I just pasted the URL.)