123a7a

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!