By now you’ve seen the rumors: a collection of some of Mario’s greatest 3D adventures are supposedly going to be…