Re: Fix for the keep_ssh_host_keys snippet - fix in the github