[Zope] #zope irc?

hello, i remember reading on the zope site that there was a #zope channel set up on efnet... i have been periodically checking there, but no one seems to be logged on there.. i am in no way stepping on any ones toes here, but for simplicity sake, i did put a bot in the channel, to keep it alive (topic set, etc.) i will gladly remove the bot to the proper owner, i just thought it would a cool place to meet fellow zope'rs... -Samir