[tor-commits] [tor/master] Tweak policies_log_first_redundant_entry even more