Coq site down

Do the coq devs hang out here? It appears the website is down and has been for at least the last 24 hours. Any idea when it'll be back up?