Raspberry Pi4 without HAT and Ropieee => output to HDMI?

[spockfish (Harry ten Berge)]

Hi,

Yes, it’s already on the list.
Challenge is that I don’t have a device to test it.