export documentation for spice exporters