Hey guys, I saw a forum post about archlinuxppc.org being down, and wanted to know if anyone was aware. I fear that email may not be reaching Alex, as his email is served through there. Anyone know anything?