Io sono uno di quelli che propendono per <<Linux>> piuttosto che <<GNU/Linux>> che mi pare troppo pedante. m