I have some VP9 files downloaded from youtube that are (in theory) a couple of the new youtube HDR demo files. Can anyone suggest a command line this poor ignorant human can use to convert these to HEVC files, preserving the HDRness? (Apparently VP9 files won't play on my new LG OLED TV, but HEVC will play).