The use of man in this context is androgynous. It's merely an abbreviated use of "mankind," which is an abbreviated use of "humankind." I'm sorry if you're upset by this wording, but it's not inappropriate.
The phrase of "modern man" was meant to contrast with old-school admins. For me, it brought up images of classic admins in server rooms either your straight-laced IBM types or your Berkeley Unix neckbeards. Take your pick, but they were both predominantly men.
https://www.google.com/search?q="for+the+modern+man"
Note how all of the results are all about men and manliness, which is fine for gendered products and clothing, but doesn't really make sense for a piece of server monitoring software.
It's only picked out by the ones who feel oppressed by gender issues (which are often males defending females - in fact, genetics also makes us behave that way, ironically.)
You can keep using "man" or not, but I think it's helpful to pay attention.
In some languages (ex: french), everything defaults to male-centric. Nobody cares or feels offended by it, and females have exactly the same rights as males.
Feminism is about making sure women have the same opportunities as men not only by virtue of the law, but "on the ground"; that society doesn't gently (or not so gently) steer them in directions where they end up with less power than men; that they're no longer objectified and that female politicians are not called by their first names.
I'm not saying language can fix all that, or that it even matters all that much. It certainly matters less in cultures where feminism has had greater success. But it is a good place to point out how, perhaps inadvertently, we keep falling into the same gender traps. If you start thinking about your choice of words, language becomes less natural, so you stop treating it, and the culture it articulates, as "nature", and start treating it as the malleable social construct that it actually is.
> The use of man in this context is androgynous.
No, its not, even if it was intended that way.
> It's merely an abbreviated use of "mankind," which is an abbreviated use of "humankind."
"Humankind", "Mankind" (and "man" when used in a sense that is semantically-equivalent to the other two) are mass nouns that do not take articles ("the" or "a"). In the case of "humankind" or "mankind", using an article is just plain incorrect (consider, "one giant leap for the mankind" vs. "one giant leap for mankind"), whereas for "man" the use of an article can distinguish between the sense of "an individual adult male human" and "humankind" (consider "the story of man" vs. "the story of a man".)
So, no, in "for the modern man", "man" doesn't work as a shortened form of "mankind".
Only reason I didn't file a PR myself was I wasn't sure what the best replacement would be (dev? sysadmin?), but this should be easy enough to fix if they're amenable.
EDIT: "Developer" as an alternative was merged very quickly. https://github.com/scoutapp/scout_realtime/pull/7
I'm a systems architect. I feel like I am not invited to use the tool.
Don't want to exclude luddites, transhumans, or extraterrestrials. I will settle for excluding moss and whatnot, though. Seriously, fuck moss.
Do you think we want admins sullying our glorious code?
:P
EDIT: Fixed typo.
Reminds me of when they tried to rename Manholes to "Personnel Access Units" to avoid offending women.
If you're offended that something is named a 'manhole', you probably have too much time on your hands.
I will add an addendum to my response as it is overly aggressive.
My EE class mostly guys, and I'm sure we lost some diversity of viewpoints because of that.
However, let's just ask nicely once - and then leave it at that.
I would hate this to turn into another silly bike shedding flamewars on HN, where all the Social Justice Warriors come out of the woodwork, for their weekly feel-good topup.
It's a little too earnest - I think you may have overdone it...haha - too obvious.
Good job though.
That's the thing now right? Where the english language has left us with lack of a non-awkward sounding gender neutral term we just the feminine version and it's ok. I know, I know, everyone is going to chime in with their version of a 'non-awkward sounding alternative. But the person who wrote this, wrote it, it didn't go to the committee of HN, and that person wasn't out to offend anyone, so ya know, let it go, let live, all that... No? I tried.