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