S1eth said:
help:users is outdated. Only moderators and admins can delete pools.
Looking at this code it seems Janitors are supposed to be able to delete them. And in fact, they can undelete them just fine. Only deletion not working seems like a bug.