Ensuring web.js re-reads index.html before serving.