Don't know why I am answering because my response is most likely inaccurate, but IIRC (specifically from following him on Twitter) he used to use Arch linux for a while. I also remember him complaining about it and IIRC he made a switch. I am sure once he sees the post he will correct me and or answer you.