There's also the Mario Kart Arcade GP sub-series, but that's broadly accepted as its own thing. So, are we closer to agreeing on what we're naming the thing? Not really, but I'll stick to Mario ...