On Jan 8, 8:54 pm, MRAB <goo... at mrabarnett.plus.com> wrote: > Have you tried gzip instead? There's no option to download the data in a gzipped format. The files are .zip archives.