Back from leave, and I have updated the UI in Mahara, using tabs to separate local export from remote export options, the latter designated for deposits to repositories.
This cleans up the interface, and makes it simpler to show users that they can only export their public pages to remote targets. (Due to licensing issues.)
We also ironed out an issue with the Service Document in EPrints, with help from the team at Southampton.
At this point exports from Mahara are working, but the exported content consists of fairly obscure zip packages. Now I’m going to start looking into packaging content in the METS format for more discoverable content in the repository.