My parents were on Human OS, never tried to switch them to Linux. Have I missed something?