> That data comes as a zipfile, which gunzip will decompress.
Doesn't gunzip expect gzip files, as opposed to ZIP (i.e. .zip) files?
On Linux I get further (apparently Linux gunzip is more tolerant of the format error than the macOS default one), but there, I then run into:
> Error: no such column: Date