>But you can also see how negative experiences like this can build up

Not really, TBH. I especially can't see why a woman experiencing these (to my mind, rather mild) interactions would think that things would be better in some other career path.

Let's say I, a man, went to work in a traditionally female-dominated field like nursing, and found that the other nurses there had named their cafeteria dishwasher "Hubby" as a joke because it took forever to work.

Would I, a grown man, consider changing my career because of this? No, I wouldn't.

OTOH, if the other nurses seemed to view me with disrespect or suspicion and I found I wasn't able to shift that perception through my actions, then I'd reconsider.