Overview of bad_ssh_host_keys.inc