Let's be honest, I totally buy that there have been hallway discussions between students about the "Coq teacher" that were wholly inappropriate and should not be encouraged.
There's a lot of us who aren't petty, but uhhh, certainly childish. The name is a problem.
Why should adults care?
2- Grow up
3- Say "cee-oh-queue"
This is the correct answer if you are truly unable to say "Coq".
If you need a precedent for multiple ways to refer to the same language, SQL has your back.
I can assure you that French CS programming students get over it quickly. There's noone really asking for it to be renamed because it's understood that it's a commonly used foreign word. I'm not sure why an English professional scientist or programmer would be unable to take the same stance for a programming language invented in another country.
Interestingly, coq is from Latin coccus (rooster) and cock is from Germanic kukkaz (rooster). I don't think there are many words that exist in both French and English with nearly identical pronunciation, the same meaning but unrelated roots!
The name should just change.