Hello awesome people! I think the user should be informed in the info directory and by pressing C-h r that the manual is non-free but can be downloaded with apt-get.
Please add this. I'm sure it will help a lot of people. Thank you very much! -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org