It’s my choice but Arch and its derivatives look like the trend like CachyOS which is #1 right now on visits on distrowatch. Also I’ve heard Google use Debian as gLinux and I feel many other giants also use it and sponsor it and I’m not comfortable choosing it as my distro. Can the sponsors togethwr with students or any other interested use it for their PCs, either coding or ordinary use? It strictly promotes free but worried about giants and sponsors.
You described the basics, anyway, some universities use it as their OS, no giant techs involved.