So, a long time ago I was looking for a quicker way to convert mkv files to mp4 files than completely re-encoding them. I found an option or two, back in the day, which allowed a couple of minute ...