Just to emphasise that we now have a Code of Conduct for the project as a whole:
https://tiddlywiki.org/#Code%20of%20Conduct
It is intended to convey the standards of behaviour that we expect of one another, and so might be considered the yardstick against which we would judge incidents of behaviour like this.
It’s very barebones and simple at the moment. We welcome feedback and improvements.