Hello, I was just wondering if we should set up a dedicated IRC channel on irc.debian.org for our use? Would it help collaboration and coordination? #debian-init? Thanks Mark