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