To download the files you want, hold down the shift key and then klick on the appriopriate file.

Files with the extension .gz are gzip compressed. You can unzip them with gunzip file.gz, if your browser did not do it for you ;-).

Files with the extension .tgz are tared directories, gzipped to a file. To uncompress them, use the command "gunzip -c file.tgz | tar xvf -" . If your browser already uncompressed the file, use "tar xvf file.tgz" or "tar xvf file.tar" instead.