I heard some people here mention an IRC server before. Are the details available, or closed community? If it's the latter, would anyone bother to open one?