[tor-dev] Should we remove the ClientAutoIPv6ORPort option?