I can only save an nom file, I do not have the option either to save as gob or to export
In iPadOS, it’s under the folder icon pull-down. For those with smaller screens, it might require swiping further to see it.
