If you want to download *all* of Fuzzball, PLEASE take the *.dsk.gz disk
images rather than downloading the individual files from the bos/fuzz1/2/3
subdirectories.  The contents are 100% identical and it reduces the load on
our server.