I am not familiar with him, but once you are certain someone is a troll, it is probably best to simply ignore him. If there is a post you come across that you can quickly respond to off the top of your head with little effort, you can respond if you wish.

There are a decent number of people whose goal appears to be only to waste others time and effort rebuking points. You can make your point and show your logic, however at a point this becomes futile.