He actually runs a free software association and is very active in the open source scene here, but yeah, I already said to him that he should contribute more on GitHub. Thanks!