From what I remember of the discussions on the topic, it's not so much that people are offended by it per se, but there has been many reports of uncomfortable situations from women who use and specifically teach Coq.

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.