I wonder if this comes out of the license fee?
Yep. So will the budget for the educational TV programmes that explain to users (probably staff too) how to use the devices.
AKA, exactly how the BBC did it in the 80s, which led to those users ruling the world in 8 bit software development for the next 20 years.
I can't think of anything more awesome than teaching a million 11 year olds python. Even if only 10% of them bother, or are interested, thats 100,000 more python devs than last year.