someone has remuxed the 7.87GB AVCHD / ISO file into a 7.42GB MKV.
Just being nit-picky, the ISO file is 8.46GB which is 7.87GiB (rounded down)
.
Fuckwits abound. Only hydrogen is more plentiful. [FZ]
I shall post the ISO file, which is really a UDF image, to usenet in the next day or two…
(The full-size BDMV folder is already there, if your news provider has great retention.)