Out of curiosity, I wonder how the Tor network handles this? Do the directory authorities drop one (or both) from the consensus?