That’s a small subset of parents though, most schools use Chromebooks with enterprise enrollment and no Linux dev environment