Android 13 begins to roll out, starting with the Pixel The upgrade brings refinements and features that make a device more usable By Mala Bhargava