A dumb question on gunzip

[Tim Chase]

On August 17, 2016, -dan d. wrote:
> Why not just try downloading the html file in its source form,
> renaming it with the html encoding visible and save it with a htm
> or html extension?

At least when talking about the Cygwin User Manual file which
started this thread, it is indeed stored on-disk as a gzip file and
needs to be uncompressed (not just renamed) after downloading.  It's
true that a regular HTML file can be transmitted by exploiting the
HTTP protocol's ability to transparently gzip before sending and
un-gzip upon receiving (which wget will do if the remote server
supports it) but that's not in play here.

-tim