Exporting files
Files can be exported from the Workbench either by:
dragging and dropping to the file system, or
copying and pasting to the file system, or
using the Export wizard.