[tor-dev] How long does it take for 25/50/75% of relays to update to a new Tor version?