He had a delete script, too, that ran on nostr-tool, but it doesn't work right now. I can just download the full nostr.watch API list, like he did and run through it. Didn't want to do that, if I can avoid it, as it spams everyone's relays, but oh well.