web.js now uses index.html