For the record, I have now verified with another computer (and driver) that this monitor's EDID information is fine. So the problem is really the outputs being mixed up on the mini-pc.
For the record, I have now verified with another computer (and driver) that this monitor's EDID information is fine. So the problem is really the outputs being mixed up on the mini-pc.