Damn, that's new to me. He resisted joining github until recently, it seems...