Yes. I simply hope the commenter reflects and doesn’t use a gender next time if there is no evidence of gender. That’s simply it. In 2025 I don’t feel it is appropriate for a commenter to use the pronoun “him” when there is no evidence of gender, and there isn’t at the time of comment.

I called someone out recently for the same, incurring -4 karma, and it turned out the gender pronoun was wrong: https://news.ycombinator.com/item?id=42514127#42520946

Who cares about the gender pronoun, it's just a commenter online. The content is why we are reading. The author could be male, female or a bot. Not important, not relevant.