First mention of Google ?Pixel 5a? appears in AOSP

Maybe Pixel 5 = iPhone 12 Pro, Pixel 5a = iPhone 12 … other important sensors that the iPhone X Notch was there to actually allow in the first place.
View full source