I'm sure opinions differ greatly on this one. No one wants to be the only one singled out based on their differences but, instead, the fact that ALL people are unique is something to celebrate. I'd say don't make it the elephant in the room, but don't call it out in some tacky way that makes it seem like you're overcompensating for something.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
What recommendations would you give to a company who is hiring their FIRST female engineer?
I'm sure opinions differ greatly on this one. No one wants to be the only one singled out based on their differences but, instead, the fact that ALL people are unique is something to celebrate. I'd say don't make it the elephant in the room, but don't call it out in some tacky way that makes it seem like you're overcompensating for something.