I had been doing some reading and it seems there is no consensus as to which is better.
I do remember reading somewhere that DP also allows data transfer over the same cable, but I think HDMI does as well, yes? They definitely both do audio, so that’s not an issue.