I've got a new U2515H. The video connectivity options are many -- DisplayPort, Mini DP, HDMI, etc.

The monitor itself comes with a DP-to-Mini DP cable. I noticed that this cable is not among those certified by the DP standards organization, and thought, well, hmm, maybe I'll shop around for a certified cable. I've found them of course, but now I'm wondering: given a choice, should I look for DP-to-DP cables? Or is a DP-to-Mini DP cable okay? Everything I've read about the DP vs. Mini DP standards indicates no difference, but my intuition is always to go with the simpler-is-better option and not to mix standards.