I hate to see stuff like this, it hits close to home. I've seen what serious harrassment at work does to someone close to me, it breaks them en most of the times it ends up with them being fired and (depending how bad) mentally damaged, it's extra bad when a group of people do it to one individual.
It's an unfortunate fact that this is not a problem exclusive to Microsoft or even the tech sector, although how the HR department and specially the higher management handled everything is embarrassing, these stories have been circulating for a while, they knew about this. I'm eager to see what measures they'll take.