Is the site down for anyone else? What is their IRC channel?