On: Change of Name: Coq –> The Rocq Prover

[mablopoule]

They should change it to a nicer word, like 'bonheur' (pronounced 'boner'), which is french for happiness :)

[broomstick331 → mablopoule]

Famous story involving Yvonne de Gaulle and the Queen of England.

The Queen asked what Mrs. de Gaulle desired the most now that she is retired, to which she replied (with a heavy French accent), "a penis".

The audience was mortified until the Queen herself realized the mistake and corrected her, "oh, happiness".