@petersuber@fediscience.org how large is that archive? Is anyone mirroring it already?