At first I thought this was a bad idea, given that Sourceforge is such a well-established and recognized brand. I see now it's not Sourceforge that is being ren

At first I thought this was a bad idea, given that Sourceforge is such a well-established and recognized brand. I see now it's not Sourceforge that is being renamed, but the parent company, Sourceforge, Inc.