Heh... Turns out, someone set the default highlighting language for html5 to
I've set the default language back to... default.
The language key you need is
For a full list of languages supported, see Jeff's answer here.