Apply tidy to index.html.