A todo esto, he decidido que a partir de ahora lo escribiré "Linux" porque, seamos sinceros, quienes piensan en Linux tan solo como kernel son los cuatro gatos fundamentalistas. Cualquier malinterpretación se puede corregir tan solo diciendo "kernel Linux". Economía del lenguaje y sinécdoque, queridos.