Integrate new simple download tor into dist mirrors?
We have a great new, simple "download tor" page for quick deployment, https://github.com/wpapper/tor-download-web/ or https://wpapper.github.io/tor-download-web/
setting up download mirrors of this site with mirrors of www.torproject.org/dist should be easy.
Do we setup a new domain of download.torproject.org and it incorporates the site and dist automatically? Do others mirror the download site like they mirror the current www.torproject.org site?