Pav. 17.420. The Animation filters menu
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.