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.
Here’s a video https://www.youtube.com/watch?v=rZpHizpZSPQ showing a PC with this connector in action.
Maybe not a game-changer, but it’s an interesting idea to reduce port clutter without forcing a winner in the format war just yet.