Já bych to dotáhnul ještě dál: pryč s ovladači tiskáren, protože k nim přece taky není GPL kód. Protože v tomto pojetí je to asi jako GDI tiskárna (kód je částečně v ovladači = pod GPL nelze) nebo klasická tiskárna: kód je "za" kabelem = pod GPL lze?
A můžeme jmít ještě dál: co takhle řadič diskového pole, firmware taky není pod GPL. O čipsetu nemluvě.