[93AGSbY]

You haven't seen a trend to ban anything remotely offensive to US citizens in the past few years?

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.

[8fGTBjZxBcHq]

OK it seems like this is some sort of like culture wars type issue for you which I'm not really into.

[infinitezest]

I can't figure out what this comment is trying to say. Do you disagree that the trend exists? Or that it's not a bad thing? Either way, this strikes me as awfully dismissive. If you just didn't want to engage, why reply at all?

[8fGTBjZxBcHq]

When I posted the first one in this thread, I didn't realize there was some previous discussion about this decision by this project. I read the post, then came in here and saw a comment that had jumped from that post to a conspiracy-ish project to ban all "offensive" words or something. I didn't have the context at the time to hear the dogwhistle so to speak so it seemed purely ridiculous.

Now that it's clear what they are actually worried about, yes it was meant to be dismissive. I'm not convinced this trend is real or that it's a problem if it is.