Problems with download

Is the site experiencing download problems again? I am trying to download the package but all I get in the zip file is index.html - nothing else. I see that the site has had problems in the past so I'm just wondering if I'm doing something wrong or if the site is down again. Thanks.