This is exactly what I don't understand. If I was being harassed to the point that I was considering quitting my job, I would simply gather all the evidence I could (she mentions emails, I would also carry a voice recorder) and hire an attorney. I wouldn't tweet about it, I wouldn't write a blog post about it or give a talk about it. None of those things are going to fix the problem. File the lawsuit and let the facts speak for themselves.
That's not how it works, at least not in California. That is if you use the equal employment opportunity system. You go through arbitration first. The two sides have to meet and negotiate an outcome, someone is there to help the process. Likely it will be settled there with money exchanged unless there was never any enough evidence for it to go to arbitration. Once there is arbitration, both sides have to compromise. If this fails, then you can file a law suit. The arbitration will be part of that I imagine, but I've never seen how the process works after arbitration. I think usually fixing it in arbitration is the norm.
You don't still have to work at that place to file the grievance. So this individual can still do that. I think if you've gone public with your accusation you are less likely to have success at arbitration because I would think at least.
The amount of money I've seen exchanged is usually a few months salary. You have to come in with a big number though, because you will be pressured to bring it down.