I employed the mute function last night.
I was a mod on AO so I never muted anyone in case they said something that needed moderation. But I’m not a mod here, so I don’t have any sort of duty to keep my eyes peeled.
Also, I think with this software if a bunch of users ignore/mute the same person, the mods are notified of a possible troll.