It is definitely infantilizing to assume that any group can't adopt/use a word if they want, really has nothing to do with genders or anything like that as you seem to assert. Women don't have some unique historical relationship to the word "cock", and even if they did I don't think that would be a great reason. The black community reclaimed the N word, and that word is so extremely polarizing / offensive I'm calling it "the N word"! It's not about "toughing it out", it's about growing up and recognizing that words are whatever you want them to be.
You seem to suggest those people train everybody around them to change behavior.
Meanwhile, every company picking a brand name will do the smart thing and avoid anything ridiculous in any of their target market; yet somehow if this happens in public it’s a scandal.
Yes, I would prefer that as well. Instead of indefinitely (and rather defensively) change the names of things that might be deemed offensive, educate people that there are contexts in which they shouldn't give in to their infantile impulses.
I mean, doctors can do it.. SW engineers too, probably.
Anyways, yes we could require him to change his name because it's distracting. That would be one thing to do. It's the solution suggested by people in this thread...
There's a difference of magnitude, in that one is a guy's name and the other is a guy's project's name. But no, I don't see a fundamental difference.