Some Pixel users receive update for Android 12 instead of 13 (UPDATE: No mistake)

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