I see the sticky post about a "chat" that once existed.

But is there an IRC channel that is frequented by users here?
( on freenode or some other IRC server? )