Removing the last reference to prettify.js