-Anche questo ci mostra in maniera evidente come nella stragrande magggioranza
-dei casi,\footnote{esistono implementazioni diverse delle librerie del C, come
- le \textit{libc5}, che non derivano dal progetto GNU, ma oggi sono, tranne
- casi particolari, completamente soppiantate dalle \acr{glibc}.} quello che
-si sta utilizzando è un sistema GNU/Linux, in quanto una parte essenziale del
-sistema (senza la quale niente può funzionare) è la realizzazione fatta dalla
-Free Software Foundation della suddetta libreria (la GNU Standard C Library,
-detta in breve \textit{glibc}), in cui sono state implementate tutte le
-funzioni essenziali definite negli standard POSIX e ANSI C, che vengono
-utilizzate da qualunque programma.
+Quanto appena illustrato mette in evidenza il fatto che nella stragrande
+maggioranza dei casi,\footnote{esistono implementazioni diverse delle librerie
+ del C, come le \textit{libc5} o le \textit{uclib}, che non derivano dal
+ progetto GNU, ma oggi sono, tranne casi particolari, completamente
+ soppiantate dalle \acr{glibc}.} si dovrebbe usare il nome GNU/Linux
+(piuttosto che soltanto Linux) in quanto una parte essenziale del sistema
+(senza la quale niente funzionerebbe) è la GNU Standard C Library (in breve
+\acr{glibc}), ovvero la libreria realizzata dalla Free Software Foundation
+nella quale sono state implementate tutte le funzioni essenziali definite
+negli standard POSIX e ANSI C, utilizzabili da qualunque programma.