[tor-mirrors] Soon Tor website mirrors will use more space

Just a heads up to folks here -- the dist/ part of the website will balloon to 8 or 9 gigs soon, once we put our Tor Browser updater infrastructure in place: https://trac.torproject.org/projects/tor/ticket/12954

I pondered whether it makes sense to let people volunteer mirrors of the html pages but not the dist/ files, but maybe that's just too much of a hassle, and besides most people probably want mirrors for their dist/ files.

Let us know if that was a horrible choice. :)

Thanks, --Roger