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 #25935 (moved) and https://github.com/torproject/tor/pull/59 for background.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information