So THAT'S how github does code highlighting