add a bit to index.html to buy some time...