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.
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.