src/site/resources/js/prettify.js (4 lines):
	- line 210: // TODO: maybe style special characters inside a regexp as punctuation.
	- line 424: // TODO: handle letters in numeric escapes.
	- line 532: // TODO: handle tabs here?
	- line 1141: // TODO: Possibly optimize by using '' if there's no flicker.