Z:gnu-www-ja-gnu-linux-faq--a2ee5d-=3Ca href=3D"=23distronames1" id=3D"TO/es

El nombre oficial de mi distribución es «Foobar Linux»; ¿no está mal llamar a la distribución de cualquier modo excepto «Linux»?