I agree with this. People say it's "Not his character to kill" yet. He straight up kills Joker in The Dark Knight Returns, granted it's after he brutally shoots a bunch of people. And in recent comics he basically killed joker again. Not intentionally but he didn't save him. He let him die.