pdf_highlight_extractor
