Thank you for looking into this! My first thought reading their story was "They must've used their discord token in some unusual way." ... which is exactly wha

Thank you for looking into this! My first thought reading their story was "They must've used their discord token in some unusual way." ... which is exactly what I've been doing too: https://github.com/Tyrrrz/DiscordChatExporter https://github.com/Tyrrrz/DiscordChatExporter Do you happen to know: Is there a risk of Discord banning me for using that tool to automatically export chat logs for processing via a bash script? Basically, it's a tool to convert discord servers into json. Their official wiki gives instructions for using your personal user token rather than any bot / API token: https://github.com/Tyrrrz/DiscordChatExporter/wiki/Obtaining-Token-and-Channel-IDs#how-to-get-a-user-token https://github.com/Tyrrrz/DiscordChatExporter/wiki/Obtaining... I admit, I used my personal token without giving it a second thought, even though I should've known better. I haven't been banned, but this story reminded me that I should be careful. Am I being overly paranoid? Is it fine to use your personal token in situations like this, where it's basically a CLI tool? Also, I run a discord server for ML with ~1k users. If I get banned by Discord, will server ownership transfer to someone else? Or will the whole server get knocked offline too? Feel free to ignore this if you want -- I'm merely asking in case you happened to know. Happy thanksgiving!