Reminds me of an embarrassing conversation at work in front of female non technical colleagues, about 20 years ago. Anyway France alone cannot make the world mo

Reminds me of an embarrassing conversation at work in front of female non technical colleagues, about 20 years ago. Anyway France alone cannot make the world move away from "bit", whereas the US and the anglophone world supposedly have the power the change the name of something french people invented :) Let's see the bright side of this as a consequence of the wide adoption of Coq and the cause of an even wider adoption.