That's a good question... @hlolli seems to be the person who's still merging commits. I don't know if any of the other 10 members of the Overtone org on github are still active. https://github.com/orgs/overtone/people