Comment by 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.