Via [Wayback/Archive.is] inline svg to file – Google Search, found first [Wayback/Archive] Convert Inline SVG to File – Eyedeal Graphics
- Use your browser’s “View Source” or “Page Source” command to view the page’s HTML code.
- Locate and copy all the code between the beginning <svg> and closing </svg> tags.
- Paste the copied code, including the <svg> and </svg> tags into your text editor of choice. (Atom, Brackets, Visual Studio Code, Sublime Text, etc.)
- Save the text file as an SVG file. (ex. legacy-xyz-products-logo.svg)
- Open the SVG file in your preferred vector editing tool. (Adobe, Illustrator, Affinity Designer, Sketch, Inkscape, etc.)
That wasn’t enough, as not all SVG files then render properly, so luckily the next hit was [Wayback/Archive] html – Convert an inline SVG into a SVG file – Stack Overflow (thanks [Wayback/Archive] Paul LeBeau):
The Wiert Corner - irregular stream of stuff 