Recently I noticed a user had edited dozens of their old questions and answers. In many cases they were removing code and just leaving some short amount of original text. I flagged one of the questions for moderator attention and I left a comment to the OP on one of the edited questions asking why they were sabotaging their posts.
Today I see the user account has been removed. I also see that most of their edited posts are showing as being last edited by "Community bot".
You can see many of these by viewing the iphone tag and sorting by Activity. Scroll down a bit and then you will see a few pages of edits by "Community bot" all starting on about August 19, 2023.
The user id of the deleted user is user141302.
Many of the sabotaged questions don't make any sense any more after the edits. Many of the sabotaged answers had been marked as the accepted answer, but now they are worthless in their current state.
I've rolled back the changes (and cleaned up) a couple of these posts. But there are dozens. Is there a procedure to get all of these edits rolled back? Or is my original flag all that is needed?