Using the red record button results in different output formats with different input files, even though all of the input files are mkv-containers derived from blu-rays. In one case, the output is an mkv file that is apparently an identical copy of the input. With another mkv input file that also pla...