Spent far too much time trying to configure one of these GUI-based "convert MOV to GIF" tools before I remembered ...

I have ffmpeg and gifsicle locally. Bash to the rescue!