Ok thanks! I'll have to reuse that github query for other projects too, very useful...