Mario 3D All-Stars’ digital version will still be available after April ...