https://www.trickyenough.com/best-linux-distribution-for-kids/