Bug 8202: Add authority export to tools/export.pl
[srvgit] / tmp /
drwxr-xr-x   ..
drwxr-xr-x - modified_authorities