On topic: I don't know, I don't own any of the newer Pixels. Waiting which new OEM(s) it will be that GOS is collaborating with.
Off-topic: I got actually curious about it, checked my Pixel 6, and indeed it didn't do anything about the USB-C connected HDMI. Strange, a 100-150 EUR PinePhone supports this but Pixel 6 doesn't. I guess it makes some sense though, given that PinePhones are targeting developers (at the moment, and for a while).