/* Auto-generated by scripts/fetch-favicons.php. Do not edit manually. */