More work on provenance display and subtree extraction