Is there any reason to prefer mkv over mp4 for this?
HDR10 files in mp4 play very well iTunes for me.
I may re-test tonight, but I have the impression, that when plex app on aTV 4K did not play back in HDR, then plex app on my AndroidTV did.
Will take a look and post my results here.