ffmpeg il programma e' portable, e con tutto il manuale.
ffmpegyag GUI FrontEnd for FFmpeg
gif animate ingoiate anche da Shotcut, ma per quelle con tante >100 img sembra che fa degli mp4 grandi rispetto a ffmpeg.
"W:\port_apps\ffmpeg422\bin\ffmpeg.exe" -i "W:\Fitting_and_extrapolation_x16.gif" "W:\Fitting_and_extrapolation.mp4"
"W:\port_apps\ffmpeg422\bin\ffmpeg.exe" e e' dov'e' il programma
-i "W:\Fitting_and_extrapolation_x16.gif" -i opzione di input file
"W:\Fitting_and_extrapolation.mp4" output file
ha creato un file che non viene letto da firefox, ma sė da Shotcut; quindi l'ho salvato da qui aggiustando a 50% la qualita'.