This is why I often refer to 4K as UHD: The WCG and HDR being available to consumers is far more impactful than end users having a few more pixels.

(Also because I’m a snarky pedant, and consumer 4K UHD is only 3840 wide, while DCI4K is actually 4096)