¿GNU/Linux o Linux?

Es usual que en muchos sitios, las personas hayan escuchado que el nombre del sistema operativo de computadores de código abierto, iniciado por Richard Stallman en 1985, con el proyecto GNU, se le suela llamar Linux como acortación, quiero pensar yo, del nombre completo del sistema operativo: GNU/Linux (pronunciado como "ge-ene-u li-nux").

Y no es raro que muchas personas lo llamen así. Después de todo, es más corto y más memorable llamarlo Linux que un nombre que parece una combinación de dos cosas y no termina de definir una identidad concreta. Linux suena como algo fijo, imaginable, comprensible, definible y recordable, a diferencia de GNU/Linux. Aunque el nombre correcto definitivamente es GNU/Linux, para el oído popular y la comunicación efectiva, es usual que se le suela llamar Linux. De ahí que existan distribuciones de GNU/Linux llamadas enteramente como Linux, tales como Arch Linux o Linux Mint. Ya está bastante insertado en el imaginario de las personas que Linux puede definir al sistema operativo completo, aunque sea un error real, castigado por el propio Stallman.

Pero tal como diría Linus Torvalds, el creador del núcleo Linux, que es lo que se llama realmente Linux, lo más importante no es tanto la filosofía o la precisión de algo, sino que sea útil, sirva y sea práctico. Cualquier cosa más allá de eso no representa una importancia de primer rango, sino una afinación conceptual que se puede dejar en segundo plano respecto a otros aspectos más prioritarios y cruciales.

Personalmente, no tengo nada en contra de llamar Linux a GNU/Linux mientras se tenga muy entendida la diferencia entre ambas cosas, y se le diga Linux a GNU/Linux únicamente por practicidad. Es decir, no estaría mal, y no me parece que esté mal, decirle Linux a GNU/Linux por acortar el nombre, pero sí lo estaría si esto se hace por mera ignorancia (confundir Linux con GNU/Linux, pues sería darle el rol de todo el sistema operativo únicamente al núcleo del mismo). Confundir GNU/Linux con Linux sería como decirle 'fogones' a la cocina.