Some of that user’s edits had already been reverted, but I’ve started off a “complex revert” of that user in https://www.openstreetmap.org/changeset/142963083 which should mop up the stragglers. There may be edge cases that need manual intervention, and given the state of the war there may be “new accounts” responsible for more vandalism later, so once these reverts are complete it would be worth people looking at what may be still wrong.
Edit: Just looking at the node data just now, and there is still quite a bit to untangle.