I could only recommend to the curious readers of HN, if they are interested and certainly if they think they should voice their "strong reaction," to try looking at the rather vast scholarly literature that research has produced over the past decades. It's not a matter of a difference of opinions among people with equal knowledge of the subject matter, but usually one between those who have more knowledge and those who have less.
That’s a bold claim.
> the gut reaction of those who read that discussion also shows that at least some developers felt that way, if not in general, then at least in that particular case.
I can’t follow you here.
> ...because if a man’s achievement is highlighted, the fact that a man did it isn’t highlighted, which isn’t exactly the case for women (apparently a woman in the team suffices for an achievement to be credited to a woman), making these two kinds of articles about fundamentally different things: “X was achieved” vs. “A woman achieved X”.
You dispute that claim, and say the consensus scholarly view is otherwise?