I found that on Debian 12 (13th Intel Framework 13) connecting a 4K external display via HDMI is definitely more stable than USB-C. I also tried some Windows games with Steam Play and HDMI enables higher resolutions on the display (that was not the case with USB-C, I don’t know why).