Use of the term "man page" is misogynistic as well, IMO and should be changed.
These threads fill with reactionaries who think marginalized people are just complaining about nothing or by reductionist leftists who think so-called "identity politics" detract from class struggle.
Edit: It's worth noting that antirez has, as is usual for him, dealt with this issue wonderfully by making a call without downplaying the importance of the problem.
He was doing okay until he wrote that everyone is a slave because having to follow "politically correct rules" is itself a form of slavery.