Might be minority of programmers, but I'd bet it's actually a significant percentage of the users (probably including the developers and the early adopters on t

Might be minority of programmers, but I'd bet it's actually a significant percentage of the users (probably including the developers and the early adopters on their Discord). They might not be looking at the entire market for text editors, but more at keeping their current users happy. Just my speculation though...