Re: [tor-project] Yes, dist.torproject.org is messed up