It's in zip format; apologies to gzip purists but
I am just way too tired to work it all right now
when I can use the Zip-O-Matic pull-down ...
At present, there is no free software which can decode it. But I
believe that the InfoZIP people are going to change the license soon.
So the problem should be a temporary one.