Why bother? It’s instructive for other posters to see how to handle trolls.
There are some who wouldn’t want to answer for ‘instructing,’ people to be nasty. Most people find it no challenge to be nasty. We belong to a fallen race, after all.
Or do you believe that the world suffers from a nastiness deficit? That it would be a better place, if we’d just take a lesson from the self-appointed instructors who are on a mission to give us practical lessons in nastiness?