I feel you are fundamentally in agreement with my point and splitting hairs to satisfy a pedantic desire to make a very specific semantic distinction. It might feel good, but you're not going to win anyone over with this type of nitpicking.
https://thetyee.ca/News/2006/05/26/Bountiful/
This is why it's important not just to average over groups. Dear Leader might always be a man, but that's not relevant to the fate of 99.99% of men who will never be Dear Leader, nor will they receive favour from him for sharing his gender.
This is why a lot of people are sensitive to arguments that use language that equivocates between the entirely non-equivalent propositions "if you have power, you probably are a man" and "if you are a man, you probably have power".
And yet the confusion between these two propositions is so widespread that probably most of the arguments in this HN comment section will come down to it.
Put another way, I could have made my point with a different choice of words that would not have drawn the response from mpweiher (and you). The problem is, any choice of words is open to be misinterpreted by someone with an axe to grind.
If you want to be angry and find like-minded angry individuals, be my guest. If you want to build empathy and mutual understanding, then it's worth it to try to engage with people's primary point rather than seizing on an uncharitable interpretation of a particular phrasing or choice of words.
The distinction is absolutely fundamental.