I recently saw a tweet of a Ph.D candidate, whose professor asked her 'How good are you with Coq?', and then the prof finally realized what he had said.
I think its time to change the name, it might make people uncomfortable.
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."