Re: [tor-dev] 7 Dir Servers Dropping - Doctor Error?