[McDutchie]

While the developer's decision must be respected, I don't really understand it. Why not simply ban the troll instead of engaging with them in any way? I wouldn't want to give a troll any power or influence at all.

[serf]

It's still effort. If you have someone shitting up your PRs with personal complaints you can either put the effort in to squelch the opponent or you can just walk away. For unpaid FOSS work there is often very little to be gained except for a bit of self satisfaction and kudos from the community.

It's easy to walk away from an ungrateful community if you don't have gold in your pockets to soften the blows.

[Saris]

It's easier to walk away sometimes, it takes more effort, more mental energy, more stress to deal with things.

[alephnerd]

Based on the thread, they were doxxed by that troll.

[giancarlostoro]

Defamation lawsuit sounds like a perfectly valid avenue if that is the case.