The encouraging thing about the Mario Direct, at least for me, was that even after announcing 3D All Stars, the 3D World port, and Mario Kart Live, they've still left November and December clear; you'd think if they had nothing else major for the holidays, they would've slotted one of those three games into the November position. Maybe, just maybe, they actually have a big holiday game after all.