... That is definitely a hiccup in the Tor directory server
you mean servers? there are more than one and the likelihood of them all failing / partitioning at once is really low.