You also severely underestimate what children are capable of. I installed my first Linux distro, and taught myself HTML and CSS while still in primary school. I don’t think you have any idea what children can do. I could probably outclass most adults with technology when I was 16 or so.
Um, I started using linux on my own when I was 9-10ish years old. I know perfectly what a child is capable of. But an average child will not do that.