Cleanup web2py.js, minify