It’s worth noting that the devices aren’t mentioned by name. Instead they’re given model numbers, with a device believed to be the Pixel 10 being listed mostly as GK2MP, the Pixel 10 Pro mostly listed ...