Added #40c and #devdk IRC channels