GitHub repository: HarHarLinks/dvmkv2mp4
Description: Convert any Dolby Vision/HDR10+ MKV to DV MP4 that runs on many devices