Summer is over, which means it’s time for the Halloween classic “Hocus Pocus.” It’s Summer Orlando we’re talking about, not the season, and in this case “over” means she will be flying overhead for ...