On Wed, 2023-02-08 at 07:55 +0100, Johannes Meixner wrote:
There is nothing bad (as long as comments are polite). This is just normal human behaviour.
What would be bad is excluding humans who (politely) comment.
Does ":eyeroll:" qualify as "polite"?
IMO the naming discussion does not belong on the Wiki page. Perhaps the best idea would be to just remove the controversial code name from the page.