Sound move.
As it happens, I've got a spectacularly feeble troll trying to get a rise out of me right now — seriously, if his photo is a true indication of his age (sixties at least), not only would I be prepared to hazard he has a Cluster B personality disorder but he is the most developmentally arrested individual I have ever encountered (seventeen-going-on-twelve) and, to cap it all, really not very bright (bottom of the class in everything).
It was fun playing with him for a bit, but there’s only so long you can mock the afflicted before it stops being funny any more, so now I’m being cruel by not blocking him — imagine not only being told you’re supremely insignificant but then shown it when the person who was brutally condescending ¹ in response to your inadequate attempts to annoy them doesn’t even block you 😂
If he gets very much more intrusive though, I’ll have to block him — I’m happy to let him stand outside and shout, but won’t put up with him vandalising stuff, as it were.
—
¹ As I explained to him, that’s when you ‘talk down to’ people and tell them things they (probably) already know — it’s a bit like being patronising 😉