Lauseentodistustyökalu Coq harkitsee nimensä vaihtamista. Syy: Anglofoneille sanat "coq" ja "cock" (slangi miehen sukupuolielimelle) kuulostavat samanlaisilta, ja jotkut naiskäyttäjät ovat kohdanneet kaksisuuntaisia vitsejä käyttäessään nimeä puhekielessä. Coq-kielen nimi tulee yhden kehittäjän Thierry Coquandin nimestä. Coqin ja Cockin (englanniksi rooster) soundin samankaltaisuus on jo esitelty projektissa: rakenteita kuvaava kieli on nimeltään Gallina (latinalainen kana).
Lähde: opennet.ru