Manpages of info in Debian testing