Don't reply to the provocateur above.
Don't quote him.
He will leave once no one is paying attention to him.

In fact you should just ignore him by going to your profile and adding his name on your ignore list.