It rightly warns that you could get banned for using these tricks, but is there any precedent for Discord banning users for this kind of thing?
Discord is happy to ban people for anything. They even stop people for using alternative clients. If you care about your account, do not mess with discord.
Iirc there is no confirmed instance where people got banned for using an alternative client.
There’s a lot of instances, for example the developer of one of the alternative clients https://github.com/Bios-Marcel/cordless