The Coq mailing list

[Tadeusz Litak <tadeusz.litak AT gmail.com>]

On 09.06.20 22:16, Stefan Monnier wrote:

I think the original post was meant as an announcement of an event for
PL researchers, and to this extent, I think it was not out of place (at
least, based on the fairly large amount of announcements I see on this
list for other events targeting the same group).

But Klaus was right that the post was making claims on behalf of the entire community that many people on this list do not subscribe to.

An agreement to close the discussion should entail an agreement that nobody in future plays the role of a self-appointed spokesperson for all of us. It doesn't seem much to ask for, and without such an agreement, you cannot expect people to keep silent in such situations.

Best,

t.

PS.  This is a textbook example of "moral grandstanding being a major source of conflict in the world today":

https://blogs.scientificamerican.com/beautiful-minds/are-you-a-moral-grandstander/