PDF: take unicode circumflex into account for text extraction