Pixel 7 and 7 Pro might be joined by a third variant

AOSP code seems to hint that another Pixel 7 Pro-like model is in the pipeline.