Make the browser.js cleanup awk script more copy-pasteable