index.html: restored index.html