You can export files from the Workbench in several ways, depending on your operating system:
See the related tasks section for more details.