Overview of bad_ssh_keys.inc