From what I understood, nothing is specifically related to him, it’s more about the discussion that comes from that.
Someone correct me if I’m wrong, but from what I grasped the tl;dr is “CEO dead? Great!” = ok / “CEO dead? Great, they should kill more of them!” = not ok
Was that from a mod or an admin? From what I understood, the ToS explained here would allow a comment like that, but mods could still decide to remove it according to community rules.