Widening the summary a tad bit.
code-prettify sucks, which is why they're starting to use codemirror upstream.
Eventually we'll get that. This isn't even all the way in master yet (and even further off for us). Hopefully we'll see it by year-end.