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.