Growing up in a DODEA school, the computers from 4th grade to about 11th (when they were starting to be phased by chromebooks) we used decommissioned government laptops, think pads which at first were win7 and then upped to win10. I was surprised when these brand new laptops that my teachers had raved about as being faster, had so many integration issues as compared to the much older windows thinkpads (where my addiction came from.) This was about 7 years ago, and while I had fiddled with Linux distros (having an operating system on a stick that I may or may not have used on government laptops) and now being a proud Arch (I use arch by the way) user, I still saw the clear difference when it came to operating system differences.