Of the three Mario 3D adventures featured in the Super Mario 3D All-Stars collection, Super Mario Galaxy is the one that feels the least like just a port and has been tweaked enough to actually feel ...