Ok I can understand that being annoying but we can't just gag people for being random. Here's his chatlog, https://stats.elite-hunterz.info/hlstats.php?mode=chathistory&player=1587498, and there's nothing much in there that I'd outright call spam. He was already punished for the slight bit of lenny spam further back in his chat log and then he wasn't outright spamming after that point so I don't see much reason to gag him for having silly binds
Did another test yesterday but apparently my attempt to deactivate the auto-gag feature again afterwards failed for some reason. It should be turned off again now!
As a consequence, the reason that there was no additional spam was basically because he had no chance to do so before the bot jumped in. But as it was handled automatically, there might not neccessarily be any need for further actions.
Sorry if that lead to any confusion or unwanted actions for the time being! @easy FYI