I don't agree, but upvoting because I think it is worth discussing the idea that women get attacked like this (and that's what sexual harassment is) because the

I don't agree, but upvoting because I think it is worth discussing the idea that women get attacked like this (and that's what sexual harassment is) because the men think they can bully the women. Perhaps not a punch in the face, but a clear shove away may go a long way towards making the point. I am also suspicious of approaching HR first. Perhaps a lawyer has written about how to handle this online, especially what and how to document, how to handle any witnesses, etc., but if not I would hope my wife would talk to a lawyer first. I guarantee that HR knows how to handle the incident, but they are working on behalf of the company. That doesn't mean they are working on behalf of the manager, though, so they can be at least half-trusted (IMHO). But I would still prefer that my wife have her own source of knowledge on this situation.