These are the combined statistics for public Windows PCs and ChromeOS devices.