Fixes reset issue with MirrorAndFilter
Implements #934
Fixes highlighing issue with textual PDF
Merge pull request #937 from emmanuel-keller/1.6

Bug fix and improvement