Yes, but I do this so naturally that I often say things like "I'm a Coq expert" when out eating with people I'm close with from my field, and believe me this is not something that works out well for women. People overhear you and at best give you dirty looks, at worst harass you like the driver mentioned in the thread.
I feel you... I'm currently writing my thesis and need to catch myself in time when explaining what I'm doing to people blessed by ignorance. Or alternatively, make the joke right away myself, though that's probably a lot easier to do for me as a guy.
On the other hand, it is kind of hilarious to fall out of your abstraction-tunnel for a moment when citing a source called "A short presentation of Coq".
Anyway, I really feel we need to make at least a few more deliberate puns before they change the name. Maybe just end every sentence referring to Coq in an ambiguous manner with "pardon my French."
