Mirror pool: Improve UX and lower maintenance cost
This issue is merely here so I can track the fact I'm working on https://gitlab.tails.boum.org/tails/blueprints/-/wikis/HTTP_mirror_pool#improve-ux-and-lower-maintenance-cost-2021.
This issue is merely here so I can track the fact I'm working on https://gitlab.tails.boum.org/tails/blueprints/-/wikis/HTTP_mirror_pool#improve-ux-and-lower-maintenance-cost-2021.