Shame crunchy got bought by an AI company, they’ve gave up much of their former open source stewardship, Chris is a good dude though, and so are a lot of the folks still there.