maybe closer to 55% than 80%?

1.4 billion microsoft windows users https://www.techadvisor.com/article/745681/windows-now-has-1..., 3.1 billion android users, 0.5 billion ios users https://www.businessofapps.com/data/android-statistics/

How many of those Android users are "Android developers are running Android Studio in Android, or office clerks are editing their documents on Android."?

probably not many? but even if the answer were literally zero it would still be the case that most people use android now instead of desktop operating systems, just not everybody

they just don't run android studio or work as office clerks