Is it possible to set the basename of an exported subtree to something
*other* than the name of the parent file -- to, say, the subtree headline,
or some property thereof?  Thank you!