I really like it that you introduce your kids to Linux. I try to do that as well. I installed a Doudou-Linux box for my 4yo son, and he's finding his way pretty well (https://www.doudoulinux.org/web/english/index.html).

I hope he won't get stuck into the Windows world after some time just because my wife doesn't want to abandon Windows. She's a teacher, and teachers often tend to love Microsoft Office.

I guess I will have to make sure that there is always something on the Linux box that is more interesting than the Windows stuff. Shouldn't be too hard, I suppose.