This copy of the distfile is also called .tar.gz but is an uncompressed copy of that file. Nagged by: kris