The Coq Theorem Proving Toolkit is considering a name change. Reason: In Anglophones, the words "coq" and "cock" (a slang term for a male genital organ) sound similar, and some female users have encountered double entender jokes when using the name in spoken language. The very name of the Coq language comes from the name of one of the developers, Thierry Coquand. The sound similarity between Coq and Cock (eng. rooster) has already been played out in the project: the language used to describe the structures is called Gallina (lat. chicken).
Source: opennet.ru