Figura 17.420. El menú de los filtros de animación
These are animation helpers, which let you view and optimize your
animations (by reducing their size). We gathered “Optimize
(Difference)” and “Optimize (for GIF)” filters
together, because they are not much different.