Beginning with Gipsy release 4.0, all files in this directory will be gzipped.
For the time being, certain files are also provided unzipped.