What formats are available?

Each GIF is stored in several formats: the original animated GIF, an MP4 video version, and WebP versions at a few sizes. The page picks whichever is best for your device automatically, and downloads give you the original.