It's not just that "Coq" might sound like "cock", but a "Coq blog" just sounds even funnier...
This actually happened to me. A classmate said something about Coq, and I did a double take. He explained it was a language, but for a second he got my hopes up.