[tor-commits] [tor] branch main updated: document running_long_enough_to_decide_unreachable()