He is a developer (github) and in fact had a pull request merged in August. I suppose it’s possible it was a “legal agreement”. It seems implied that it wasn’t, and that was what I remembered when replying