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