[fkyoureadthedoc]

> but it's also the most widely used IDE for integrated AI assistance to normal software engineers.

Is it? I'd be surprised if GitHub Copilot didn't have more paid users.