Andrea Veri commented:
We just switched download.gnome.org to Mirrorbits, thanks @barthalion for your work here!