no longer self-hosting google-code-prettify