¹⁶The Free Sofware people want this to be called GNU/Linux. Most of the software you have just installed is from GNU. Linux is just the kernal.