On Wed, 18 Jan 2006, Mike Maginnis wrote:
Ah, got it. These aren't actually compressed files. Dropping the .gz from the extension (crunch1.dsk.gz -> .crunch1.dsk) did the trick.
Looks like your browser decompressed them for you. -uso.