public/index.html: update