Nothing wrong with using ignore. Very useful tool on forums but less useful if people keep engaging with trolls and replying to them. I've never ignored someone that had a differing opinion but was willing to engage in honest discussion. That's generally very easy to determine. This particular troll has its agenda and it just pot shots at every thread. Like all trolls, it's here to rile people up, end of story. Don't let it! Another tell-tale sign is these types answer no questions, they just move on to the next unfounded statement, rinse and repeat. No interest in discussion, on the list they go. Start getting personal, on the list they go. ymmv.