https://aider.chat/docs/leaderboards/