hyperlink to export directives

@umop
This could actually all be consolidated into the above code by switching `ExportDirective` to `NamespaceDirective` (`source` is common to them).