This is a minor thing, but it would be nice to be able to give the export a sensible file name before exporting.