Fixed text encoding of pdfmarks.txt