Hello all, just for your information, I am in the process of moving the guixsd.org domain from my personal account to Guix Europe and also to a different registrar. I suppose that the DNS records will just move with it, but I am not totally sure; so if servers appear to be unreachable, this might be due to a transient failure in name resolution.
Andreas
