Some Pixel users receive update for Android 12 instead of 13

Google accidentally sent some Pixel users an update for the Android 12 build that already runs their phone instead of Android 13.