É possível exportar arquivos do workbench:
arrastando e soltando-o em um sistema de arquivo ou
usando o assistente de exportação.