This command is not meant as a super efficient document export tool, but it might work if you don't have too many documents you want to export:

You  can find your documents from this screen, and then transfer them to the screen above:

Good luck!

​@Mathias Dahl, Can you provide a more efficient way for  a larger number of document revisions?

What would be efficient in your book, and what is a large number? How often do you need to do the export?

​@Mathias Dahl Does not require manual pagination, one time export, 1000+. records.

Thanks! We don't have another way than the one explained earlier.