Well, I never made an mkv of ESB and ROTJ, so you downlaoded something weird. How big are they? If they are the same streams as the AVCHD just remuxed to mkv, you could probably use MKV Toolnix along with MKVextract to extract the streams from the mkv and then use TS Muxer to remux to AVCHD.
Anyway, here's something new:
