We don't need to do anything else.
We could but we have no reason to so we don't want to. There's no problem here, so there's no need to try and figure out a solution.
What should happen, if the edit is one that's okay for an OP to make but not a regular user (which is a very small set of possible edits), is that the edit, since it appears to be from the ...
Note the date. There was a time way back that user names were not anonymized on deletion. That looks to have been added sometime post this user being deleted.
Relevant stack meta Why is this non-anonymous username on this non-migrated question greyed out and not a link?