People, people. He's dead. The only thing gratifying about his death is that, like putting down a mad dog, he can no longer be the direct cause of hurting people. It changes nothing about what he'd done, and does not end anything. There are thousands just like him, ready and willing to take his place. Also, stop pretending you "know" he's in a hell of some kind. He was just as "certain" and as thinly supported in evidence in believing eternal bliss awaited him. He's dead. He died quickly. He would have died eventually, just as we all do. He was an awful, delusional man who will be remembered as just that by most people. THAT is the extent of his punishment. THAT is all we can rationally expect. THAT is all for which we can morally hope.