1 I would like to know, at INFO (default) log level, when the
2 monkeyspehere makes a "real" modification to my known_hosts file; that
3 is, when it adds or deletes a key.
5 Apparently this is hard because monkeysphere is currently configured to
6 delete all keys and then add good keys, so a key added for the first
7 time seems to the monkeysphere very similar to a key re-added ten
8 seconds after last login.
10 Still, from a UI perspective, I want to know what monkeysphere is doing.