index.html: remove deprecated html