Change google-code-prettify's link.