I don't know who needs to hear this, but you can turn an mp4 into a reasonably sized gif using:

ffmpeg -ss 7 -t 22 -i 20200721_143620.mp4 -vf "fps=5,scale=480:-1:flags=lanczos,split[s0][s1];[s0]palettegen[p];[s1][p]paletteuse" -loop 0 output.gif

— Will Stedden (@bonkerfield) July 24, 2020