Théo Zimmermann 16:28
I like the proposal added by @Clément Pit-Claudel of renaming Coq into "Rocq" very much. Besides all the already listed advantages (
https://github.com/coq/coq/wiki/Alternative-names#rocq), it is pretty much associated with the idea of resisting American imperialism. For those who do not know the story, INRIA-Rocquencourt (the place where Coq was born) was created on a former US military base after de Gaulle decided to kick US military out of France.