That is just the normal global name exported by recent versions of google-code-prettify. Following the example of jquery imports using `$`, i stuck with the name of the global. This makes it consistent with the language extentions like the [`lang-css.js`](https://code.google.com/p/google-code-prettify/source/browse/trunk/src/lang-css.js?r=249) that I mentioned.

I agree that it is hardly the most descriptive name, but then again neither is [`$`](http://jquery.com) or [`_`](http://underscorejs.org).