When you find yourself (no matter your gender) dealing with a jerk your options are basically as follows: ignore it, deal with it yourself or complain about it. If you reach adulthood without learning how to deal with the jerks yourself then that's really your own problem.
It would be great if that skill wasn't necessary but wishing that jerks didn't exist in the world isn't going to make it so. If people would focus more on standing up for themselves rather than appealing to authority figures they'd make a lot more progress.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds