Vigilante rewriting of the blockchain has been discussed before and it tends to get hung up on the issue of agreeing who's the thief and who's the victim.
It seems like there is a straightforward enough principle in this case to do so without much argument. Not that the method would be perfect. But isn't it preferable to the alternative?