+ # Only used for the initial clone (?).
+ # If running multiple animals on a single system,
+ # consider pointing to a local mirror (git clone --mirror)
+ # and separately updating that using cron (git -C /mirrordir fetch).
+ # If running multiple VMs for animals, consider pointing
+ # to a mirror on the hypervisor.