provexport: refined handling provenance documents