This post was edited to add in a comment to the post. Clearly, the user has a high enough reputation that he/she should understand that this is unacceptable behavior, but did it anyway. (shudder)
What should be done?
- rollback the changes?
- manually rollback the changes, informing the editor that he/she "is a jerk" in the commit summary?
- refer the editor to the FAQ?
- inform the SO team of this user's problematic behavior?
If this user isn't stopped, he/she could edit comments into more posts!
Oh, and: