Monsters don't exist. If people are really committed to erase anything that has the word "man" in it, at least they should try to be less lazy and use a term for people outside kindergarten.
>The term man (from Proto-Germanic *mann- "person") and words derived from it can designate any or even all of the human race regardless of their sex or age. In traditional usage, man (without an article) itself refers to the species or to humanity (mankind) as a whole.
On a personal level, it may be a few tiny tweaks but also very tiny personal impact. On a global scale, it could be a larger impact but also takes a lot more effort (combined effort of millions of tiny tweaks). Whether that effort is worth the payoff is debatable, especially considering what other initiatives that effort could be directed to.
But the Wikipedia mention links to a Cloudflare blog post from 2019, which is around the time Big Tech started renaming CS terminology.
You can’t use that as proof of long-standing usage.
Machine in the middle is probably even more accurate than man. Keeps the same acronym too which is nice.
Person is the obvious alternative that is gender neutral