Here's one mirror that should be available. Oh dear, I'm in a quandry, I would really like 4.0, but the RPM's need the new glibc(2.2) on my box here at work, and I don't want to upgrade the whole ball o' wax, since I actually need to work! Can't do it at home either because darned Debian just about broke my box the last time I tried installing it... Hmmm, maybe over Christmas I'll get a new distro and install it onto my home partition.