These people will automatically get banned in Discord servers that have this feature enabled.
Only serious offenders will be added to this list, after a thorough confirmation of the offences.
If you'd like to figure out what their Discord handle is, copy the ID and surround it by "<@" and ">", so for example: <@457573832350236672>.
If you paste that into a Discord chat, you'll see what their username is.
To enable this feature, type
You can find the file with banned players here