[suggestion] Save selected points into file

[Vincent]

Hello,

If it hasn't been implemented, I suggest making it possible to save the selected set of points into a new GPX file.

I expected "Export to a File" to do that, but it saved the whole file again.

"Copy" provides the data as CSV, requiring the user to turn those into a GPX file.

Cheers,