[tor-commits] [doctor/master] Prevent duplicate 'fingerprint changed' notices