Extension:MirrorTools/Delete, mirrordelete, undelete, and mirrorundelete