Nota: il supporto per esportare file GIF è stato abbandonato in favore dei formati mp4 o webm, che sono un modo più moderno di gestire immagini animate e sono anche compatibili con i browser Web.