Gzip index.html : fixes #2