The whole computer science/programming field is anglocentric and the problem with Coq doesn't occur just in english speaking countries. English is not my primary language, but since the sound "coq" doesn't mean anything in my primary language, and since everybody in my country speak english as a secondary language, most people will still parse the sound "Coq" as "cock" and think of the non-ideal english meaning of that.

A name accidentally meaning something bad in one language is a lot worse than a name intentionally meaning something bad in a language that 100% of its userbase speaks and understands.