Ding ding the witch is dead? It’s hardly unusual to celebrate deaths of some public figures. Especially ones that are disliked by large numbers of people.