Tor Project infra. is being DDoSed right now. What little that can be
done, is being done.
Maybe you could update your DNS records to create a round robin with some of the trusted mirrors to take the load off?
Paul
609662E824251C283164243846C035C803940378
