I’m OP and a woman, and I agree, sexism is not fun. But this example isn’t the hill to die on imo. Referring to a group of mixed gendered people as “guys” “dudes” or “bros” isn’t remotely sexist or offensive to me. What would you prefer, “guys and gals”, “dudes and dudettes”? That’s condescending af.