And even then, it seems like 20 minutes worth of work. Not a whole lot to it.
More importantly, I didn't post the framework release to make this a discussion "SourceForge vs Github".
What's really matter is the project itself and not where it is hosted!
At this point, their reputation is so terrible that even if sourceforge was objectively better, it'd still be a good idea to move away from it.