If a decent number of people migrate away, it would definitely show up in aggregate: Windows Update traffic, for example. Or sales of Windows-specific software/subscriptions. It doesn't require correlated tracking at an individual customer level to see the broader trend.