Well, I don't think they'll accept any pull request, I think hosting these files on sourceforge won't make any difference.