Re: [PATCH] Remind user when UserKnownHostsFile is set to /dev/null