25 in-Jokes, Lost Lore and Trivia About ‘Hocus Pocus’ Fun insights about everyone’s favorite Disney Halloween movie.