[sam2426679]

ime, this isn't totally accurate in the world of usb-c HDMI dongles. I've had the same 2 monitors plugged into the same 2 ports since the machine went to sleep, and it will occasionally switch their positions upon waking.