I just signed up for the list. Is there an IRC server that is frequented often by the group? Thanks, Mike