IRC channel

Folks,

I've setup an IRC channel on irc.freenode.net, and have registered the 
channel officially with freenode.  The channel name is #soarm.  Feel 
free to join at your leisure.

Regards,
Matt