> especially with respect to gender-diversity in the Coq community. Seriously there are some people getting shocked that a foreign word sounds like slang for m

> especially with respect to gender-diversity in the Coq community. Seriously there are some people getting shocked that a foreign word sounds like slang for male genitals in their language? These people seriously need to grow up and accept that not everything is centered around their world. "bit" is slang for cock in French, "chat" is slang for vagina, "Nike" means fuck, should we rename these so that it does not shock anyone? Where's the limit?