I learned that for animated pictures, if you use the .webp file format instead of .gif, you can have better quality in much smaller files. To make them run in an endless loop lik a .gif, in the Shotcut export settings, in “advanced, other” you have to add the line: loop=0
