TIL although the birth name of the villain in "Halloween" (1978) is Michael Myers, his official “killer” name is "The Shape" in both the Halloween script and the movie credits. The name was borrowed from the Salem Witch Trial judges who referred to spirits who harm others "shapes."