index.html: remove old stuff