Unrelated, but for no real reason whatsoever, I preferred HDMI over DP until recently when I noticed I was having noticing some weird behavior with my laptops and my usbc dock.
I did some testing with DP cables instead of HDMI, and it totally fixed it. Ive since been converted to DP.