Circle strokes get exported to SVG paths instead of using circle attributes

[Jeahel]

Hello!

I am playing around with SVG images for the web and came across something I think could be made better about exporting those SVGs. As I opened the files in a text editor to see how it was written, I saw that the circle strokes are exported as paths instead of using circle tag attributes such as stroke and stroke-width.

Maybe it would be better to use these to reduce the size of the exported files?

Thank you :-)