Have you tried contacting anyone about this? Maybe post about it in a subreddit, or talk to a journalist that previously covered the other editing? Or contact reddit pr or an admin?
This seems like a pretty big deal, especially given his previous promise to stop editing comments.
