Export one device's GPX to custom location
It would be nice if one could export one GPX with only one device. Same as with automatic export with checked "Export one file per device", but 1) on-demand, 2) to custom location and 3) without dependency to daily export.
Obviously, not a blocker and not important, as it is possible today with workaround, but I think it would be nice addition.