Guix website possibly down

[Alan Wedel]

Is guix.gnu.org down? I can't get it to load. Other websites, including 
gnu.org, work fine. Pinging them is the same. Is anyone else experiencing this 
issue?

If this is the wrong mailing list for something like this, please tell me.