A small piece of software to convert animated gifs to jpg. Just run the code in the directory containing a bunch of animated gifs. As an output, you will get a directory called "output" with many jpegs files. Based on the idea from: https://gist.github.com/revolunet/848913