Manpages of openssh-known-hosts in Debian wheezy-backports