Thread:Geniusguy445/@comment-1338357-20120724164627/@comment-4743273-20120726000158

Yeah, you can just delete his edit from the page history if need be. In my opinion, you don't necessarily have to get involved with him at all, just delete what he does. That's what I did and he just went away. Still, glad it worked out!