author: mjl
content: I recommend the linux people to call it "GNU / Linux" instead of "GNU/Linux".
  never hurts to distance yourself from GNU.
id: 6e8ad8f7-241c-4786-a837-49ae5ee29405