This HTML file came across compressed. Isn't that neat?