I wasn't even talking about that specific PR, though it is highly relevant. I generally ACK that, but I don't think it's very important.

But the topic of silencing discussion on fora like github, mailing lists, is completely orthogonal to this.