Download a shape made by Leaflet into GPX file?

Hello,

This site uses Leaflet to display an OSM map and let the user draw a circle of a 1km radius.

Is there a way to download the shape as a GPX file? Does Leaflet include this feature?

Thank you.

So you want to have a GPX file that is a circle, and the circle is on a specific position?

And you are aware that a circle as GPX file would have a number of … coordinates?

Where do you enter the amount of coordinates that draw that circle?

Do you need a circle with 16, 32, 128 … 2000 points?