I'm not sure the one you allude to is the same that crossed my timeline and that I responded to a couple of days ago, but that one was about a resurfaced years-old pull request that proposed changing pronouns in documentation, that faced a poor "no politics" response. alas, linking to the pull request would feed the cancellation underway, that I oppose because I find it about as oppressive as the worst-case theory behind the poor response.