FWIW, the problem seems to have magically resolved itself. Just now I was able to download a "good" tar file several different ways. -- Tim