Anche io sono per inserire solo lo GNU, con il punguino però il logo
risulta piu' allegro, decidete voi per me va bene anche con il punguino
anche se dobbiamo chiarire che gli sviluppatori del kernel linux hanno
inserito driver non liberi nel loro software... è anche vero però che il
sistema è GNU + Linux (ripulito dai driver non liberi).