Linux and the GNU system

Note added March 2014:

This file is obsolete and will be removed in future.
Please update any references to use

<https://www.gnu.org/gnu/linux-and-gnu.html>
