In hoeverre is Linux een variant van Unix? En maakt dit iets uit?