<URL:http://db.debian.org/machines.cgi> or a known_hosts file can be
downloaded from <URL:https://db.debian.org/debian_known_hosts>.
<URL:http://db.debian.org/machines.cgi> or a known_hosts file can be
downloaded from <URL:https://db.debian.org/debian_known_hosts>.