Re: `xterm-mouse-mode' has a bogus Custom group

[Richard Stallman]

    >   The GNU/Linux console currently does not appear to support
    >   `xterm-mouse-mode'.

    I think this should just say Linux console although I don't really 
understand
    where the kernel ends and the operating system begins.

Neither "Linux console" nor "GNU/Linux console" is incorrect.
We want to make people aware that the system is not Linux,
so we say "GNU/Linux console".