Most women who are okay with being called a girl are okay with it only in certain contexts. For example I don’t know any woman who is in her 30s or 40s who would be okay with being referred to as a girl in a professional context.
But this isn't the workplace slack. And again, correcting is one thing, but only if you're unequivocally correct, which the above poster is not.
To be honest, it seems what they've mainly accomplished is cause a distraction from the substance of what the person was trying to convey.
You are also not “unequivocally correct” so perhaps you are applying a standard to others you can’t live up to yourself.
And instead of a clarification, you replied with a straw-man:
> perhaps you are applying a standard to others you can’t live up to yourself.
I never claimed to be "unequivocally correct”.