Comment Comment by lxgr The example is failing at decompression for me, and I suspect it's because of this:> 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 parent lxgr 3 years ago
> 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