Which server to use for #straightdope

I’ve been on efnet and haven’t found #straightdope, and I am a clueless newbie and don’t know how else to find you guys. I would love to chat with some of you! Help me out here.

I used mIrc, and I open up the Options box. I click on servers and then what? I usually choose “Random efnet server” but no one is in #straightdope there.

Please spell this out for a hopeless neophyte!

Thanks!

Use the undernet server.

Thank you! Mods, close the thread – unless other IRC newbies have questions :wink: