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).
Damn'... Aveuglé par l'enfilade interminable sur GNU/Linux ou GNU-Linux (sur debian-l10n-french), je me suis trompé de liste... Désolé.