I'm glad he's dead, but I can't help but think "Oh good, another terrorist that the world has forgotten about and who has probably had little operational relevance for decades has been brought down. Can you now please bring down my inflation, the border surge, and violent crime? k thx."