Apologies for the delay. I can confirm that the export to portfolio functionality has now been switched on. Where this is available in an activity, it should now take you either direct to a download page or a page where you can make a selection of what you want to download. File download has been enabled and this is usually a HTML version of the content.