It's working fine, for me. Probably just a temporary outage.
I have the downloads for 4.01, although I've never actually used it. If it becomes a permanent problem, I could add them to the files section here... Maybe that's been done already - I haven't checked.