At present, the only thing that makes an editor deleted is that it has no password (usually), no email/other details (usually), and the name format "Deleted Editor #<id>" (except for those deleted before we implemented the real feature, who have DeletedNN, and tend to have passwords, emails, or whatever else).

We should actually mark them as deleted somehow, presumably a boolean column would do.