Unfortunately this doesn't work to delete the messages that have been restored, because they don't appear in https://old.reddit.com/user/<user>/comments.

Other deletion tools I've tried also don't work because of this.