Upgrade a bunch of links to SourceForge to https://