I find it moderately baffling that anyone would need the help of an ignore button, rather than simply ignoring the content of posts from that person.
That's what I do, which means I never miss out on the comedy value when they make an idiot of themselves.
It's part of the joy of being here.
Rob P