Export an SVG from DOM to file

There are more complicated methods involving node.js and server-side rendering but a quick, easy way is to just copy the svg element from the DOM, paste it into a file and save it with the extension .svg

After that you can open it in a vector editor.