There are so many great GIFs out there and I want to have copies of them. Twitter makes that harder than it should be by converting them to #MP4
and not providing access to the source material. To make it easier, I made a bash pipeline that takes a tweet URL and a filename, extracts the MP4 from that tweet and uses #ffmpeg
to convert back to GIF.