Correct. I have received help from that server in the past, and it’s unusable now. Part of what I hope to accomplish is to replace Discord, or at least offer my friends an off-ramp. Getting started with Discord is way easier, and in the year 2026, I wouldn’t know what other client to use to look for a community that gives me quick help via live chat. I no longer know how to use IRC, I’ve found.