| Function | dir_exporter | Export this tree to a new directory. |
dest should either not exist or should be empty. If it does not exist it
will be created holding the contents of this tree.
| Note | If the export fails, the destination directory will be left in an incompletely exported state: export is not transactional. | |