[nwp90]

"My fear is that teachers will now choose for Windows on the RPi, since that is what they know."

Well, no. Almost none will have used Windows without the GUI.