- Open a file by short tapping it (see article File options at a glance).
- Tap on the menu button and then on Export to ZIP or Export to PDF (arrows in left illus.).
- The file, having been created in the desired format, is then stored in the same folder (arrows in right illus.).