Hello, I found this Media > Convert/save (Ctrl+R) option in VLC, and after using it for some time, I still haven't found any option to convert the input video stream to uncompressed AVI, that would be big, I know, but readable by virtually any software. Did I miss something, or is it on purpose that...