[tor-commits] [tor] branch main updated: dns: Remove reachable BUG()