web.js now listens on port 8080
index.html is more responsive