Captured with Quicktime.

Processed with:

$ ffmpeg -i four.mov -s 700x242 -pix_fmt rgb24 -vf "lutyuv=y=val*1.3" -r 10 -f gif - | \
  gifsicle --optimize=3 --delay=3  > out.gif