Stop resolving hard-coded authority DNS names that start with a digit
Instead, we should: * require IP addresses for authorities in the public network * allow any DNS name for non-default authorities or in test networks See legacy/trac#25935 and https://github.com/torproject/tor/pull/59 for background.
issue