Hi all, We're working on a simplified download site for the Tor Browser on the www-team mailing list. Development is currently taking place on a GitHub repo here <https://github.com/wpapper/tor-download-web>, and the latest version of the site can be found here<https://wpapper.github.io/tor-download-web/> . We are seeking to create a setup script which would allow the download site to be turned into a full-fledged download mirror. Ideally, someone can use git clone, run setup.sh, and have a working download mirror fully configured. The setup script should: 1. Pull the contents of Tor’s website mirror (or even just dist/torbrowser if possible, since that's all we need) 2. Check the GPG keys to make sure that nothing has been modified 3. Move the download files into a mirror directory and update the URLs found in thank-you.js<https://github.com/wpapper/tor-download-web/blob/master/js/thank-you.js> 4. Ensure that the mirror and the git repo will auto update using cron and will work across version numbers Would someone be able to help us create this script using Bash? A very basic outline of the script can be found here<https://github.com/wpapper/tor-download-web/blob/master/setup.sh> . Thank you for your help! Sincerely, Will Papper