I tried running guix pull again, but still didn't work

Here's my config.scm

I then connected via VPN so I got an IP in the Netherlands, and le-certs downloaded just fine! So this may be a mirroring issue?

/Calle