;] thanks, what's the irc channel btw?