I would say that their metrics are more likely to show the majority of dev-channel users are on Windows, purely because of volume. Might be a smaller fraction

I would say that their metrics are more likely to show the majority of dev-channel users are on Windows, purely because of volume. Might be a smaller fraction than Linux users, but the actual figure would be larger.