Realized there's other formats for export: .kml and .tcx. TCX has the most data (time, sensor data, elevation, etc)
This site offers merging of TCX with GPX (and other tools): https://gotoes.org/gotoes/strava/
I found a Python script that converts TCX to GPX that I've yet to try: https://github.com/pascalmariany/tcx2gpx
The elevation data this time is also from the TCX data, instead of generated by Mapbox via GPX.studio. I am guessing it should be more accurate.

