Me too, but this might have larger implications. See here: http://tgnv2pssfumdedyw.onion/index.html Those servers maintain and publish the list with all relays and their capabilities, and without them functioning, tor is going to disintegrate.