Honestly, you get used to the name and just kind of abstract over it -- because it's your only option if your work is in the area. It can still be awkward to explain to people what you're working on though, so I welcome the change.
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."