Export plugin to provide downloads URLs for all available documents

[drn05r]

Sometimes someone may do a search and then want to download all the associated documents they find from that search. In some cases that could be quite cumbersome task. An export plugin that provides all the documents available for download would be useful as those links could then either be downloaded by a script or be easier to download by hand either immediately or in the future.

Its probably worth exporting this as an HTML list, as the links will be clickable if the user loads the web page but should still be easy enough to parse by a script that wants to download all the documents.