@enzoesco
Ma soprattutto, va bene la libertà di scelta eccetera. Ma… il dodici millesimo terminale per Gnome? Ma davvero? E magari non ha nemmeno le legature dei caratteri (-> renderizzato come una freccia o >> come » e via dicendo). Spero di aver preso un granchio ma non è una classica dispersione di risorse?
@gnulinuxitalia