Fix a mistake: there were never 10 directory authorities -- there were 9 v3...
Compare changes
@@ -20,7 +20,7 @@ Because the Tor client chooses the path, it can make sure to get Tor's "distribu
Fix a mistake: there were never 10 directory authorities -- there were 9 v3 dir auths and one unrelated bridge dir auth.
While I'm here, change it from 9 to 8 because we dropped Faravahar in a recent commit.