Port in web.js, bootstrap index.html