Yeah, I knew that (It was also in Super Mario Allstars + Super Mario World which was an extended version of Super Mario Allstars
) but like you said, they won't release it because if you get that one, you get all of the mario games that are already on the VC and then no one would want to buy them because they could just get the all in one pack
I know it has Mario original, Mario 2, Mario 3, Super Mario World (in later pack), and Lost Levels (later pack? I know it's on one of them).