FFmpeg GIF generation on Windows, custom palette

@echo off
ffmpeg -hide_banner -i %1 -ss %3 -to %4 -an -sn -crf 22 -b:v 0 -vf "scale=-1:%2:flags=lanczos" ibsrc4gif.webm
ffmpeg -hide_banner -i ibsrc4gif.webm -vf palettegen ibpalette4gif.png
ffmpeg -hide_banner -i ibsrc4gif.webm -i ibpalette4gif.png -lavfi "paletteuse=dither=bayer:bayer_scale=0" ibgif.%2.gif
del ibpalette4gif.png
del ibsrc4gif.webm