Mention google-code-prettify compat