The SourceForge I went to was http://www.sourceforge.net/, that's down.
But http://indiestep.sourceforge.net/dl/ works fine indeed, thanx!