...underlined)
If your site does not carry the gnu gzip utility you can get the uncompressed file by dropping the .gz suffix from the get command, and also skipping the binary specification below.

goossens@cern.ch