Preserve PDF highlights when switching between original and enriched text