I was able to hop on a Windows pc today, but no joy there with VLC Media Player.
Charles, the next step from the last screen capture you posted is to click “convert/save” in the lower right corner, then select “convert”.
From there I created a new profile, AVI, but in VLC this requires one to select a codec. “None” or “Uncompressed” is *not* one of the choices.
I’m sorry, it appears VLC is a dead end for this particular conversion task.
I’ve heard good things about using AVIdemux for these sorts of tasks, but I’ve never tried it:
https://avidemux.sourceforge.net/
My best advice would be to find other AutoStakkert user info online, I can’t imagine you’re the first person to have to figure this out!
From the upper left corner of the U.S.
Photos, Video & Pano r us.
College and workshop instructor in video and audio.
70D, Sigma 8mm, Tokina f2.8 11-16, Canon EF-S f2.8 17-55, Sigma f2.8 50-150 EX OS, Tamron 150-600VC. Gigapan Epic Pro, Nodal Ninja 5 & R10.