For those interested. HDR10+ is in the pipeline for ffmpeg. https://patchwork.ffmpeg.org/project/ffmpeg/patch/20201013235345.2609036-1-izadi@google.com/