The philosophy behind the No Micspamming rule is that it is easier for the micspammer to not micspam than it is for someone to mute them, and if it's multiple people who have to do so, then it's multiple people's inconvenience compared to one person's wish to micspam, and for a server environment that's designed to be cordial and respectful to others, micspamming is the opposite, especially if someone wants to listen to their own music (i.e. the radio stations or their own playlists).
From what I've gathered, multiple people would put atma on mute, and a good deal were happy with the banning and life went on. Even when I was on a few times before break, those Hakuna Matatas and other micspam bits were getting fairly annoying, and that type of crap would've normally gotten a swift server mute/ban from me.
Edit: Permanent bans are fixed in the server.cfg, but anyone using tempbans should keep in mind that they are lost whenever there is a server restart.