@Jonny : Whichever you prefer
I have both but I’m used to using none so.. only disadvantage I can see with IRC (from what I understand about IRC) is that you’d lose the messages sent to you while being offline.
Apart from that I’m away for the next days AND I don’t wish to continue on iOS as long as
this PR isn’t merged (it needs testing from users), because I feel like I’m accumulating too much unmerged work atm.