As part of the release system of the virtual educational adventurous time machine all free binaries are hosted on sourceforge to keep server costs at a minimum. (Sourceforge hosting is free for open source / public domain projects.)
An example binary to be hosted on sourceforge are those for testing / preview.
Edit:
Mailing lists can be found here:
The non developer mailing list will be opened on the first release.