It seems that the tgz files are broken. According to both 7zip and gzip. This could possibly be my system, it is weird, or maybe the recent server move, but either way I am unable to get the files. And I would very much like to play with them. A re-upload, or an upload in a different format, say zip, would be cool.