You Can Ban Anyone on Discord [video]
youtube.com
youtube.com
What is also interesting is that it happens relatively quickly (about 2 hours), so I am not sure if they use a manual review and simply don't have access to edited messages in their UI, or if they use AI to determine is the report is worth banning.