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

[David Kastrup]

Richard Stallman <address@hidden> writes:

>     > 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".

The console is exclusively Linux and has nothing to do with GNU
whatsoever.  Our main argument for the "GNU/Linux" moniker is the
correct attribution of credit and use of terminology, so it undermines
our case if we muddy the distinction ourselves.

If you want to have the choice of words appear more deliberate, this
can be written as:

"The text consoles of the Linux kernel currently do not support..."

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum