Thread:Terminology: GNU/Linux (4)

I think we can go with "GNU/Linux," but I do think we should have footnote indicating that it is sometimes simply abbreviated to "Linux" and make a similar note in the glossary.