I came here to reply the same thing.

More important than ignoring trolls is to combat them with facts so other observers don't get the wrong impression about the topic they troll.

I would love to see more work along the lines of browser extensions that automatically provide a certain amount of factual context/background around articles. This browser extension[1] seems like a great start in that direction.

[1] https://github.com/rabidaudio/fact-check-extension

Instead of responding to trolls, just click the timestamps on their comment to find the "flag" button. (I'll delete this comment in a few minutes to clean up the thread; you could do that too.)