Second, Coq sounds kinda like a slang word in English, so it must be changed; bit is pronounced exactly like the slang word for the same thing in French, but you would be laughed at if you suggest changing bit something less offensive like bigit? For many of us non-anglophones, the creeping English-language supremacy is neither natural and inevitable nor welcome.
Yeah, a bit awkward for about 5 seconds until both parties know what you're talking about, because of context.
Is that what the authors are referring to as "harassment" or where does the whole harassment come from? That's my biggest question here. I have nothing against people wanting it to change, I just want to understand the reasoning behind it, and how even people manage to harass others via a project name.
Others posted similar things, but imagine that you're a female PhD candidate and your male advisor asks you: "How familiar are you with Coq?" or "Are you good with Coq?"
Sure, the advisor could have asked "How familiar are you with the theorem prover Coq?" but it shouldn't be necessary to do so.
It seems petty and childish to be considering a name change over this, but it is far from unprecedented (e.g. "Beaver College" changed their name to "Arcadia University" in 2001). Having a more utterable name can lead to more widespread use and discussion of the tool with laypeople.