Board Thread:Support Requests - Getting Technical/@comment-35072152-20200425162210/@comment-24155515-20200425193142

There's also a button at the top of the user's contributions page that should say "deleted user contributions" or similar, if there should ever be a time you're in a situation where getting their edits out of the deletion log might be unwieldy (i.e. if it's been awhile or lots of other things were being deleted at the same time for some reason).