Ignore list

In view of the fact that there is a particularly belligerant new member going out of his way to insult and bait other members, it might not be a bad idea to remind others that they have the option of entering names in their "ignore list". I'm not sure that everyone is aware of that option.
"user cp", then "Edit ignore list".

I don't think that we need to name names here about anyone or any specific incidents.

Jcat was helpful in just pointing out that you can put someone on ignore if that person is problematic for you.