That’s for the US. Change the filter to Europe and you get 74% Android, which will go up towards 90% in some national markets.