You heard right. ENIGMA's on SourceForge now.
The website will remain here at enigma-dev.org, however, downloads will be moved to SourceForge.
This means that you can download with local mirrors, and it also solves some... hosting problems.
Currently only r2/noGCC is uploaded, because my upload speed is made of fail.
But anyway.
http://sourceforge.net/project/showfiles.php?group_id=230668EDIT: the full version of r2 (zip) has been uploaded.