Developers, if you are reading this, and you are considering my idea, please add the option for Video GIFs as well. I only mentioned Image GIFs as I already have suggested an identical feature an year ago, but focused on Video GIFs (in fact, the image for the old idea is recycled in this very GIF).