Some folk do seem to just want to cause trouble. I've, sadly, got a few folk in my Ignored Users list as they felt that public disagreements weren't enough.
I'd quite like not to be tempted to rise to their bait. Would it be possible to hide their posts too? I know I'd undoubtedly end up seeing most of them when some other user feels suitably offended by their trolling and replies quoting their mischief, but occassionally I might be spared reading unnecessary bile. 😞