Comment by jvilk

What do you mean? Nearly every native English speaker who works with Coq pronounces it "cock" (from experience at POPL, PLDI, and other PL conferences).

Personally, I'm very happy that they are changing the name.