Unnecessary to ignore someone. Just don’t feed the trolls! I think it’s the best way to deal. They die for themselves.
There is another way..............Just put all the forum members on Ignore; then you can have the forum all to yourself..... Enjoy.