Manpages of install-info in Debian trixie