There's instability and frequent 500 errors on the SourceForge site currently. We're working on getting this fixed asap.