No more discord between IRC and Discord

Our IRC and Discord channels are now linked, so both chats can interact and do so from either place. This is done via a special bridge and some robots, curtesy of community member @branon and the reactiflux team.

Come and join us.