> We also had someone try to cause problems because our Linux systems had "man pages", which they believed was proof that Linux distributions were sexist.

This is a really interesting example. Naively, I'd expect the meaning of a word to matter.

Do you know if the person advocating for this understood the etymology?