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

[Roger Dingledine]

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