Someone did that thing I’ve been hoping someone would do! Hooray!
Looks like you’re still in the decision-making process as far as encoding goes, but is this more likely to be released as a large MKV or an AVCHD (or both)? If the re-encoding is going to diminish the benefit of the larger file size anyway it’s no big deal, but if there’s an appreciable difference I’d love to see it at the highest quality possible.