A single developer doesn't have a 'community manager' to deal with assholes. That said, why would one try to make the troll happy? What reading this results in "they both have a valid point we should address"?
Im not saying the developer needs to have a community manager. Im saying this could have been handled differently by any number of people. I dont want to point fingers.
Also, you can’t make a troll happy. But you can redirect them and shut them down.