How about in the future we totally ignore them, do not respond to any of their comments or insults? Just pretend they aren’t there.
Don’t report them, just totally ignore them. That should if nothing else, drive them up a wall, they are trying to get a response from us.
I would agree if in fact the disruptors were still quietly reported.
That doesn’t work; the more they are ignored, the more they post and the WORSE those posts are.