made some changes so I can gzip index.html