Adds the Idris channel.
...