Google Pixel 7 MiniかUltraらしきモデルがソースコードに記述？

Google Pixel 7 Miniか、Google Pixel 7 Ultraらしきモデルに関する情報が、最新のソースコードに記述されているとの情報を、Kuba Wojciechowski氏がTwitterに投稿しました。