Update 2014-08-01-others-google-code-prettify.md