https://superuser.com/questions/556029/how-do-i-convert-a-video-to-gif-using-ffmpeg-with-reasonable-quality
Anonymous
Programmer time is expensive, conserve it in preference to machine time.