OK, this is where things get a bit complicated. Twitter actually publishes GIFs as small video files, which are much more efficient than GIF files. So you have to download Twitter GIFs as videos ...