If i was the one that brought the RaspberryPi to market i would include an OS. Preferably one that is small, fast, easy access to gpio and other periphirals.
Every RPi would be the same, student, geeks and others would share their information and that information would actually be usefull.
Not the 'which version', 'which kernel', 'which desktop' etc that will happen now.
Remember the reason why computers in the past were very successful.
Like the cbm64, Trs-80, atari, amiga, zx80/81/spectrum etc..
After that it has been a difficult time to have the latest hardware, drivers, OS's etc.
Wanted to buy a game, 20 lines of requirement. Want to do some wordprocessing 20 lines of requiremnts.
A Rpi with single type hardware, single OS would have not one of those problems.
Think how current gamecomputers work. Buy a game, put in the disk and play.