delete google-code-prettify, it's unused never