I'm okay with Dick killing if is it is for the best. He is not Batman. The Joker needs to die. Everyone knows that. Dick is not psychologically damaged like Batman or Red Hood. He can kill someone irredeemable. Then understand it is for the best and that killing does not make him a bad person. Like a policeman or a soldier.