In case you haven't been keeping up with the website, someone suggested
on it that we start an IRC channel. I found out at tonight's meeting
that we had one a few years ago. Does anyone know if it still exists,
and is still ours to use? Was it with Freenode, or with another host?
--
Chick