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?