Do you develop on GitHub? You can keep using GitHub but automatically sync your GitHub releases to SourceForge quickly and easily with this tool so your projects have a backup location, and get your project in front of SourceForge's nearly 20 million monthly users. It takes less than a minute. Get new users downloading your project releases today!
Would this have any effect on the licensing of the Marvel characters to the Universal Studios Theme Parks? Seeing as how Disney is in direct competition with Universal in the theme park business, I think it might. The Islands of Adventure park is literally half Marvel.