index.html: Remove unused html.