# Filter settings
# https://developers.google.com/speed/pagespeed/module/config_filters
pagespeed RewriteLevel CoreFilters;
pagespeed EnableFilters add_head;
pagespeed EnableFilters inline_import_to_link;
pagespeed EnableFilters combine_css;
pagespeed DisableFilters rewrite_css;
pagespeed EnableFilters fallback_rewrite_css_urls;
pagespeed EnableFilters rewrite_style_attributes_with_url;
pagespeed EnableFilters flatten_css_imports;
pagespeed EnableFilters rewrite_javascript;
pagespeed EnableFilters rewrite_javascript_external;
pagespeed EnableFilters rewrite_javascript_inline;
pagespeed EnableFilters combine_javascript;
pagespeed EnableFilters inline_css;
pagespeed EnableFilters inline_google_font_css;
pagespeed EnableFilters inline_javascript;
pagespeed EnableFilters rewrite_images;
pagespeed EnableFilters convert_jpeg_to_progressive;
pagespeed EnableFilters convert_png_to_jpeg;
pagespeed DisableFilters convert_jpeg_to_webp;
pagespeed EnableFilters convert_to_webp_animated;
pagespeed EnableFilters convert_to_webp_lossless;
# pagespeed EnableFilters inline_images;
pagespeed EnableFilters recompress_images;
pagespeed EnableFilters recompress_jpeg;
pagespeed EnableFilters recompress_png;
pagespeed EnableFilters recompress_webp;
pagespeed EnableFilters convert_gif_to_png;
pagespeed EnableFilters strip_image_color_profile;
pagespeed EnableFilters strip_image_meta_data;
pagespeed EnableFilters responsive_images;
pagespeed EnableFilters resize_images;
pagespeed EnableFilters resize_rendered_image_dimensions;
pagespeed EnableFilters extend_cache;
pagespeed EnableFilters extend_cache_css;
pagespeed EnableFilters extend_cache_images;
pagespeed EnableFilters extend_cache_scripts;
pagespeed EnableFilters convert_meta_tags;
pagespeed EnableFilters in_place_optimize_for_browser;
I want to convert animated GIF to animated WebP while convert_jpeg_to_webp is disabled. Please tell me what config should I use?