Naming convention

I think we should use the term GNU/Linux instead of Linux wherever it is appropriate.

Also please note that in Latex '--' should be used instead of '-' for composed words e.g. "GNU--System" instead of "GNU-System"