> How do you collect these stats?
Cursor dashboard. I know they're incentivized to over-estimate but feels directionally accurate when I look at recent PRs.