Delete jp-prettify.js