Work on bug #7967.  I added the export feature.