In brazil, in the city I live, computers in public schools have been using linux for as long as I remember until 2015 when I finished high school. They used a mix of ubuntu machines and a distro called Linux Educacional which was made in some brazilian university I can't remember. They used KDE Plasma, one of the reasons I still prefer it to this day.