add comment to bug about notification of modifications to known_hosts