Need to improve ./delete-user script for deleting spam comments
We have a delete-user script, which is supposed to remove session tokens from the trac repo, delete the user, and delete the tickets and comments that they have made.
But it doesn't actually delete their comments. See #19407 (moved) for a bunch of spam comments that aren't deleted by running the script.
Thanks!