Great story! Often we read about the havoc these people wreak, and we don’t often read about how at least some of them get what they deserve years down the road.
Did I mention that the day after she quit, the supervisor she had sued got a nice promotion?
Oh ... the karma in that whole situation was just delicious.