|
|
|
|
|
by 8fGTBjZxBcHq
1870 days ago
|
|
No one's trying to ban all potentially offensive homophones though, where did you even get that? I don't see any sort of proposal for what that would look like or how it would work. This is the case of one project changing its name because the reality of using that name causes frustration and embarrassment FOR THEM. It's not even about politics or pressure external to the project. They are just annoyed and want to change it and its theirs so they can. What exactly is your beef here lol. |
|
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.