  o Major bugfixes (directory authority):
    - Actually check that address we get from DirAuthority configuration
      line is valid IPv4. Explicitly disallow DirAuthority adress to be
      DNS hostname. Fixes bug 26488; bugfix on 0.1.2.10-rc.
