Hi everyone, I think we’ve seen the full range of thoughts and opinions here and the thread is no longer constructive so, in the absence of formal moderation procedures, I’m locking it (EDIT: apparently I have to “close” it, just did) so we can move on. Let’s move discussion of how to proceed to implementing community guidelines and community etiquette and I hope the community will source a clear moderation playbook for resolving these kinds of things in the future.
These are normal growing pains for communities since the beginning of the Internet and the playbooks for handling them are well-established.
Let’s work together to stick to our values and build.
And remember Internet 101: keep a cool head and don’t feed the trolls.