The BBC video is great. It reminds me of learning Microsoft "Extended Basic" on a Tandy Color Computer (aka, the CoCo) with a TV as a monitor around 1982-83.
Except back in the day, I had to deal with cassette tapes and only 4K (subsequently upgraded to 16K) of RAM.
30 years ago, I learned code by typing in hundreds of lines of (sometimes buggy) BASIC source code found in print magazines that came out only once a month. Today, all a youngster needs to do is a pull (and in just about any programming language) from Github. Progress is amazing!
This was true of computers from the golden age of 80s UK home computers (where the R-Pi founders are coming from). It's not so much true of ebay laptops.