Mention IRC channel here for those who miss the wiki