> 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