To save disk space in your home directory, compress files you rarely
use with "gzip  filename".
		-- Dru