Google’s AI overview finally picked up the news on our entry to the Python type checker leaderboard