Thanks.
Not sure if "AVCHD" is also a type of MKV as the 7 GB ROTJ I see is MKV as well.
What is the difference between the AVCHD and MKV versions? (the 7 GB and 17+ GB files)? Are there significant differences?
Is anyone working on a 17+ GB ROTJ equivalent?