The file server sometimes works, then it doesn't. If you look at the amount of downloads a popular file gets, there's at least
22 thousand people downloading files, it's a popular site.
Some of the files no longer download, I tried to download one a while ago, and I got a 'Page Can Not Be Displayed'
It goes through it's moments.