I've run into a rash of tar.gz files on the internet today that are not actually gzipped. People seem to be just tarring things and then renaming them tar.gz! This of course makes it difficult to ...