How did he make the changes to the comments? Is it via an audited admin function available to Reddit staff or by directly modifying the backend data store?
I ask because I want to figure out if anyone else that works at Reddit was aware of this. It's one thing to have the top of the house do something this betrayingly asinine, but I'd consider it much worse if other staff at Reddit were aware of this.