** Change in system-type and system-configuration values.
The value of system-type on a Linux-based GNU system is now `lignux',
not `linux'. This means that some programs which use `system-type'
need to be changed. The value of `system-configuration' will also
be different.
It is generally recommended to use `system-configuration' rather than `system-type'.
See the file LINUX-GNU in this directory for more about this.