Mirroring / proxy caching galaxy

I’ve just learned (via Self Hosted Galaxy Server Deployment) about the galaxy-operator.

I didn’t have a closer look yet, but thought this might be worth mentioning here.