It appears that the dns for irc.debian.org is fscked up. When I try to ping it, I get unknown host. Does anyone know of another irc server I can use to get on the #debian channel?