Re: [PATCH] keep_ssh_host_keys and logging-snippets