oui. Mais pour des raisons d'homogénéité évidente, il faut arrêter définitivement un terme. Et on le collera dans le lexique comme cela *tout le monde* sera obligé de suivre.

l10n-check propose pour l'instant de remplacer GNU/Linux par GNU-Linux. J'ai refusé à chaque fois jusque là, et j'ai mis GNU/Linux dans mon dico perso (en attendant une éventuelle clôture de cette enfilade).