Delete run_prettify.js