How to extract svg as file from web page
When the SVG is integrated as <svg …></svg> markup directly into the HTML page. Right click on the SVG to inspect it in developer tools Find the root of the <svg> element and right click to “Copy element” Go to https://jakearchibald.github.io/svgomg/ and “Paste markup” Download your optimized SVG file and enjoy