Great, thanks all. What I now really wonder is if it can name the exported text file automatically.
At 2 minutes and 52 seconds into
this video an export modal box is shown. Will I have to type out the filename every time there, or will it pick up the document title or filename by itself?
Weird perhaps, but I would export a lot and having to type it out manually would make me look for another device.