Counter to your glorious Fahrenheit 451 perception of either contemporary society or our future one, it’s just as dystopian to permit humor to be used as suppression of a marginalized subset of people. It is perfectly acceptable to expect that people not discriminate against others that are unlike them, in any way, lest that be a possibility. The key to humor that is actually funny is understanding that, particularly how the word I intentionally emphasized applies to comedy.
(Not saying that happened here, just reacting to your broadening to “policing humor.” Humor is also, you know, funny. That did happen here. Stallman should stick to his day gig.)
You guys both seem to really want there to be high-stakes politics implicated in this story, but there aren't, and pretending that there are looks pretty dumb. It is unlikely in the extreme that the maintainers who want to remove Stallman's dated, unfunny joke are pro-lifers. Presumably, they just think it's a cringey distraction, like this subthread.
The issue is whether Stallman gets veto rights on glibc commits. The maintainers say he doesn't. Since Stallman doesn't do much glibc work, and the maintainers do, presumably Stallman is going to lose this, unless they let him save face out of affection.
(Not saying that happened here, just reacting to your broadening to “policing humor.” Humor is also, you know, funny. That did happen here. Stallman should stick to his day gig.)