Dominik, can you please specify what problem this 'hard highlighting' causes? As pre my comment above, I do not see this as a problem that needs fixed so I feel inclined to mark it as invalid, for both the Papercuts project and Evince.
Dominik, can you please specify what problem this 'hard highlighting' causes? As pre my comment above, I do not see this as a problem that needs fixed so I feel inclined to mark it as invalid, for both the Papercuts project and Evince.