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

Since you're all about to encounter a user asking you this question:

Yes, https://dist.torproject.org/ is messed up. And yes, there are new versions of Tor Browser out today, and they are all trying to update, and they are now all giving their users confusing errors like "The update could not be verified" and "The requested URL /torbrowser/7.0.6/tor-browser-linux64-7.0.6_en-US.tar.xz was not found on this server."

The short answer is to sit tight and wait, and everything should sort itself out over the coming 24 hours.

Unless you're one of the few people who can help fix it, in which case, please help us make everything sort itself out. :)

--Roger