Comment by skc

Geez guys, all I'm saying is the name is unfortunate in the same way coq https://en.wikipedia.org/wiki/Coq is bound to be awkward when pronounced in other parts of the world.

I'm not implying there is anything nefarious about it.