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.