I have two simple USB-C docks, seemingly identical except for one having an HDMI output and the other having a DisplayPort output. HDMI: https://www.aliexpress.com/item/1005006034210961.html DisplayPort: https://www.aliexpress.com/item/1005006054736790.html The HDMI dock works as expected, I...