I like
Avidemux because is is all there on the home page. You can't mess it up.
With Virtual Dub, you have to check the video menu for Direct Stream Copy and the Audio menu as well, just to make sure you haven't got an unwanted setting that is a hangover from the last time you used it.
Interestingly,
Avidemux took 10 minutes to "copy" a 10gb AVI, whereas VDub took 3 minutes using "Direct Stream Copy". I'm not sure what to make of that. The bitrates and file sizes were
almost identical for the Avidemux file and the original.
For the VDub copy, the files were identical sizes, to the bit. I therefore surmise that Vdub is doing a truer copy.
So to answer your question, Yes, check the edited bit then delete the original. And use VDub in Direct Stream Copy mode until somebody can explain the Avidemux issues.
BTW, your two videos are different lengths; that's why the file sizes are the different. Also, the bitrates are different.
Re Mediainfo, you can use the "Text" view to copy and paste the file info.