I came to the same conclusion. It's crickets over there: https://github.com/Aider-AI/aider/graphs/contributors