documentation about copy&paste from info display

[Bruno Haible]

Hi,

Occasionally I need to copy&paste the rendered output of a GNU manual
into a text file or mail. The easiest way to do this is to use the
'info' reader with TERM=vt100 or TERM=vt220. With the usual TERM=xterm
setting it does *not* work because info then intercepts the mouse events.

Could this trick please be documented in the info manual?

Or maybe even add an option --no-mouse (like w3m has an option '-no-mouse');
then a user would see this possibility simply from 'info --help'.

Bruno