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
