I'm just trying to make sure there isn't a weird bug. Goodness knows there are plenty of those.

There isn't any more documentation than this:

If you have questions about it, I can answer them, but thats all there is to the delete bot.