When I try to play a 10-bit encoded HEVC/x265 file, its output is completely garbled. Surprisingly (to me ... see 'Context') it does play 10-bit encoded x264 files fine and looking at CPU utilization ...