dave, Researching things... Looks like only the Pixel 8 Android phones have HDMI output on them, out of that range.
I don't want to buy one yet, but I can envision getting one for cross-platform dev later this year and HDMI output combined with the ability to install Grapheneos or some other more degoogled OS will be what I'm after.