You have to remember that most of our communication isn’t written, social media non withstanding. Combine that with Coq still being super niche, so a big fraction of people in a given conversation about it won’t know “Coq” and will hear “cock.” What you end up with is you giving a presentation at work about your new cock proof, or teaching your students how to use cock. Because in the environment a massive number of users are in (verbal, unfamiliar, and English speaking), that’s how it comes across. Is it really childish to acknowledge that I don’t want to have to preempt that my cock presentation is actually about the theorem prover Coq again and again and again?