Dernière modification September 03, 2020 at 5:31 PM PST: Move setup/independent files to setup/production-environment (42303b266)