For those not in the know, it’s dolby’s proprietary hdr format, in a similiar vein to their atmos product, which is high definition audio. You see it labeled in linux isos as “DV”, and if it doesn’t also have the HDR label there’s a good chance your video is going to have the wrong colors in it.