I'm pretty sympathetic towards her after reading her employer intends to "take the matter seriously" etc. Not appropriate at all for her workplace to get involved when she's not a public figure.
The "lynching" thing I'm more ambivalent about. Before when something was reported, a million people would just shake their heads in disgust. Now they still shake their heads but 10,000 of them also write an angry comment somewhere. In a way, it isn't even personal, and I'm not convinced the emotions involved are any worse—the problem can be the effect on the person who becomes the focal point.