index.html: update