> They're renaming Coq, too, for the obvious reason.
replyWhich is a perfectly legitimate name in French and the whole "issue" can be worked around by spelling cee-oh-queue.
Then keep it and deal with the backlash without complaining.
replyExcept for the transcripts where they chose the name because they thought it was funny to offend the English
replyThen spell the letters if the name offends you
replyIt is legitimate indeed, and a nod to its creator T. Coquand, but better avoid recurring, useless discussions so better change the name.
The funny (for some), quirky jokes get quickly old anyway.
replyThey also renamed NIPS -> NeurIPS conference, even though the name sounds less subject to jokes.
Meanwhile, nobody consulted the French when the bit was being named.
reply