Trivial change to text.
Added index.html; modified web.js to serve it.
Actually committing changes to web.js to use index.html.