It would be great if 'export documentation' option evolve to more complex tool that gives You option to export not only all PDF's but also other files as MVR's, DWGs, CSVs of different flavours, presentation files and other stuff that should be part of festival documentation.
As all of that stuff is already programmed i see it as kind of wizard that ask You what files You want and spit it as zipfile.