three-game package of the classic Super Mario 3D All-Stars games — Super Mario 64, Super Mario Sunshine and Super Mario Galaxy — with "higher resolutions than their original versions," and a ...