downloads.sourceforge.net is returning an HTML page for anything I try to download from any port. Since downloads.sourceforge.net is the one with the lowest ping most of the time for me, this means a lot of sourceforge ports are failing for me. Is this happening to anybody else? This has been going on for days.