...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.

Janne Saarela
Tue May 16 09:50:47 METDST 1995