Indeed. The people who suggested the change in 2021 and the mailing list threads have been purged from the search engines, but this thread is still here:

https://news.ycombinator.com/item?id=26738980

Talia Ringer, the main proponent, now writes posts that AI will turn out OK (and works on proof automation for programs so that more software engineers can become unemployed):

https://terrytao.wordpress.com/2026/09/17/becoming-a-benchma...

Remember that when you live under a bridge after having been fired that the world is fine because the great social injustice of the "Coq" name has been eradicated!

Did anyone consider keeping the current name but changing the pronunciation to “coke”?

If they must fold to American prudery, at least Dinde ...

Still waiting for the outrage on "bits".