Encoding with HDR10+

[kingeri123]

So, now that we can get DV and HDR10+ output in our MKV files, I was wondering if any encoding software can handle HDR10+ yet? I know many people don't encode, but I do simply to save space. I have been using Staxrip to encode with vanilla HDR10 and to preserve the 10-bit colour. As I have a Samsung TV which doesn't support DV anyway, I'd love to be able to preserve the HDR10+ in my encodes. Any ideas? I don't think Staxrip can do it.