There’s a poster who spells like that all the time, and a number of posters who find that very irritating have presumably just put him on ignore lists.
I happily ignore anyone who regularly sends my blood pressure too high. For my physical health . This includes anyone I feel is trolling, and anyone who has been particularly rude. My current list is at 4. A couple moderators have, I feel, been particularly rude to me, on one occasion each, and if I had had the chance to add them to my ignore list I might have, but I couldn’t, and I can say they’ve turned out to be pretty decent folk overall. If they weren’t, they probably wouldn’t still be moderators, right?
Personally, I rather like the idea of having the ignore info made public. When newbees join, and encounter what appears to be a troll, they can have a look to see whether there’s any consensus on that, which might help them decide whether they too should ignore the idiot.