@Natanox Dangit, this is so upsetting. I was going to get a Pi 400 for my nieces' 10th birthday but looks like I'll be getting them an Orange Pi instead.
One of the strengths of the Raspberry Pi 400 is the extremely kid-friendly manual that it comes with. Do you know of any similar resources I could get them instead? I don't want to just dump an undocumented Linux device on them; their parents wouldn't know the first thing about getting them started.
@fluffy @Natanox have a look at Microbit.org -- it's the awesomest platform for kids education.