Important: IRC channel change

Important: IRC channel change Because of the growing problems with Freenode we have decided to move our IRC channel to a different network. Please /join ...