Tobar said:

All your problems would be solved with a more liberal use of the ignore function.

make that 3 against.

unfortunately for ignore to work, a united front is needed, that can be difficult to get. If you don’t have everyone putting the troll on ignore, all that happens is that those that do, have a hard time understanding what is going on in conversations. I just think light moderation done by someone reasonable(not me), could solve some of these problems with trolls very quickly.