Discord's default behavior when banning is to also delete all of a user's comments, which makes backscroll hard to read and isn't usually the desired behavior. A bot-provided !kick command which didn't do this or which had a sensible default would probably help.
Wait, I found you saying this exists. Maybe the request should actually be "add this to the documentation", since
!help kickgives no results.
This is an admin-only command, none of which are particularly well documented. Sorry about that! This will be documented along with the rest of the admin commands.
Resolved 867cef0. Command is not visible unless you run
!helpas an admin due to restrictions in the help function (namely that it only documents available commands).