Comment 17 for bug 2036802

Here is the ~/.config/monitors.xml file, it's run while hdmi cable is plugged in (and not detected as usual).

Also, about your earlier comment. It makes no difference if the dock is plugged in the usb-c connection or not. The hdmi is not detected anyway. I just tried this 5 seconds ago.