Thanks for the link -- but even on my high-speed broadband connection it's downloading at a rate of about 700 bytes/ sec. At this rate, it'll take 13 hours to download... is it worth the wait?
EDIT: I cancelled the download -- and restarted it again. Now its averaging about 40kb/s -- or about 20 minutes to completion. Now it's worth the wait! 👍