Mistreated by men? Did you miss the part where she writes that almost everybody in HR was a woman?
She wouldn't have needed to approach HR in the first place if not for the systemic abuse from males within the company.
There's no way I'd ever date a women who worked in HR. Once, many years ago, I met a woman on an online dating site who worked in HR for some big retailer. She made a comment (in the messaging app, we never met) disparaging the people who interviewed to work there. I commented that maybe if they paid better, they'd get better applicants. Never heard back from her after that. (No, she didn't work for CostCo; they're famous for paying well for those types of positions, and having very loyal and hard-working employees as a result.)
It seems like HR people are really the worst kind of people: they're just rank-and-file employees usually (except the HR Director), but they'll happily defend the very worse corporate treatment of employees.