The really dumb thing is that nobody wants to copy DVDs or Blu-Rays via HDMI anyways. It's much more convenient to decrypt the discs directly with tools like MakeMKV.

However, I suspect that isn't the real holdup here since DisplayPort also fully supports HDCP