On Dec 4, 2014, at 14:48, Adi Roiban <adi@roiban.ro> wrote:I think the GitHub review is a better place to discuss this.