https://x.com/Kurakasis/status/1965906536628379894?t=GdxOERMyMDVLsoiEnydcCg&s=19.

This guy claims the Mario movie sequel is called Mario Galaxy, which backs up a leak from a few months ago.