Correct me if I am wrong, but at this moment I think this bug can be closed because the package texinfo-doc-nonfree (in universe) supplies the requested manual.
Correct me if I am wrong, but at this moment I think this bug can be closed because the package texinfo-doc-nonfree (in universe) supplies the requested manual.