A workaround to export survey points as a CSV file for transfer to other engineering or mapping software goes like this
- Export from Survey page as a GeoJson File
- Convert to CSV file using Online converter www.convertcsv.com/geojson-to-csv.htm
- Open the file in Excel and edit as needed.
- Save as a text file or whatever format needed.
I do the ellipsoid to orthometric elevation conversion in Excel.