o Removed features:
    - Directory authorities do not support giving out the BadDirectory
      flag anymore.