[kata-dev] OpenDev Collaboratory IRC services