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,

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."