> I assume that if you where to launch a product in the Netherlands you would avoid naming it "Pick" as well?
Not really. But its not a fair comparision, because Coq isn't an American or British research project, its a french project. Its not even a commercial product or anything.
So i fully understand they want to change their name, but it is sad they feel forced to. Honestly, if someone is harressed by actual adults within a particular culture for using something that could somehow make a 14 year old little boy giggle, then i strongly suggest they leave whatever culture they are in, because its completely backwards.
The problem to infantile behavior and sexism in particular cultures isn't sovled by every other culture renaming their stuff to not trigger this behavior. Lets solve sexual harrassment in English speaking countries by the rest of the world avoiding doing anything that has any phonetic resembles to genitals. Does that not sound idiotic? Is that a not a weird English privilege that other languages don't get?
Again i understand and respect the decision by the project. In the end you just dont want people to get harressed. But lets not pretend the problem is the name. The problem is certain cultures lacking adult behavioral norms for men.