There’s an interesting middle-ground worth mentioning: a 2-in-1 connector https://www.mouser.com/ProductDetail/Rego-Electronics/845-00... that can take both HDMI and DisplayPort cables, which could be a neat solution for devices juggling both standards.