Did GitHub's Copilot get a huge upgrade in the last few weeks? It now consistently finds real issues, and is genuinely helpful. Hit ratio went from 1/10 to 7/10. Impressive! (Just wish it would not re-raise concerns that have been given a 👎 once already).