On a related note I think this is what is sort of wrong about the raspberry pi as tool for teaching beginners: the first thing the user sees and interacts with is Linux. In the 80s on a bubber key spectrum as far as I can recall it booted straight into a basic prompt / repl (or whatever the right term is). Even 8 year old me could start programming. Compare that to trying to get anywhere with Linux as a beginner.