ban ip and !dev

the dev command is part of a plugin used for development. You can safely remove the plugins/devkit folder

the dev command is a command which helped us to test stuff like missing language and config files.
Also it helped us to dump all commands with their subcommands and permissions and to test permissions.

The plugin shouldn't be in the public package, but we forgot the delete it :D. It will be removed in the next version.