1. is sourceforge.net down or problem with my connection?