If I may interject here, but in actuality the system users are using is not, in fact, “Linux” but is actually GNU/Linux, or as I’ve recently taken to calling it, GNU plus Linux