convert gifs from Zachtronics games to mp4 files and squirrel them away in a subfolder (place this on your desktop)

zach_conv.sh

mkdir -p zach/conv
mkdir -p zach/orig

for file in *.gif; do
    echo "Converting $file"
    ffmpeg -y -hide_banner -loglevel error -stats -i "$file" -crf 15 -movflags faststart -pix_fmt yuv420p -vf "scale=trunc(iw/2)*2:trunc(ih/2)*2" "./zach/conv/${file%.*}.mp4"
    mv "$file" "./zach/orig/$file"
done

uhh copypaste the thing and change line 4 to *.ogv to convert spacechem ogv's to the much more supported mp4 format