It's deeper than that. There's entire post being removed when conversation about Pao was negative. I'm amazed the board are leaving her in place from this. This kind of behaviour will send the community elsewhere pretty fast. Reddit is losing its core principles so will be interesting to watch.

Overall I believe a better solution would be to give users the ability to block people. Ideally via a digital fingerprint so people can't just use a fresh username. This would be more inline with an open community in control of its own destiny.