Banned triggers can now be listed and unbanned, documentation updated