Extracting highlights from PDF files can be a daunting task, especially when you have to deal with large documents ...