The coq-club archives seem to have vanished, but a Reddit thread suggests that the initial thread title was:
"Why is the Coq logo made to look like a penis? This year, I had a student point out to me the 'flesh-colored logo with what looks like a mushroom top'."
Apart from the fact that the logo looks like a strange chess figure at best, this qualifies as extreme pressure in the current climate. In such discussions only one side speaks up freely in public and maintains that this is the general view of the project.
If 100% of the Coq contributors are genuinely annoyed (i.e. without having had a "little chat" with their university administrations), the situation is different. I doubt that this can be established, as no one has voiced support on discourse at all and the coq-club archives are no longer public.
