Update web.js with contents of index.html