Not that anyone cares about my project, but due to policy changes on Sourceforge, however much the owners make excuses, I am going to be dropping this account in favor of putting binary releases on Github and I think everyone else should pick another place as well, not necessarily Github, though.