You can now download a .gif file when you open an animation! The default format is .mp4, but some sites support .gif files better (for example, Reddit or Twitter). GIF files are larger and lower quality, but they usually loop automatically and are easier to embed. Enjoy!