Rename web.js.txt to web.js