Oh, the witches are a joy, even now. It’s funny because I would have seen Hocus Pocus only a month or so after the Mario movie (I think it came out in July or August of that year, if I’m not mistaken). I loved both movies, but as an adult Mario holds up way better. My husband hadn’t seen Hocus Pocus until this year,…