Programming language Coq wants to change its name for obvious reasons

Programming language Coq is looking to rebrand due to sounding like the English slang term for a certain male anatomy body part.

Coq is a dependently-typed functional programming language first created by Gérard Huet and Thierry Coquand. The development of Coq has been supported since 1984 by INRIA, École Polytechnique, University of Paris-Sud, Paris Diderot University, and CNRS.

However, the name of the language and its association with the male anatomy has supposedly...