Stallman would benefit from removal of the joke

It's not so much a joke as a political statement. I think the most common reaction from people is likely an eye-roll, not offense. In my case the eye-roll is not about the political statement itself, but that Stallman would be willing to insert political statements on divisive issues into the GNU documentation. I think that reflects poorly on him, and removal of the joke not only improves the documentation (removing some noise), but removes another example of his somewhat weird, unprofessional, behavior.