HTML: Descargar SVG de web desde su tag

Si queremos descargar o convertir un SVG HTML a un archivo .svg normal, lo que tenemos que hacer es copiar el tag desde el inspeccionador de elementos o desde el código fuente, pegarlo en archivo .html que hayamos creado expresamente para contener el tag .svg. Abrirlo y ejecutar el siguiente código javascript en la consola del navegador:

Copiamos el elemento o tag <svg> desde el inspeccionador
Creamos un html con el script
Abrimos el html y ejecutamos el código Javascript