Assume a pdf document that contains text highlights on pages 1, 3 and 14. Is there a Linux command-line tool (or a set of tools whose output can be piped to each other) that can report the page numbers of those pages that contain highlighted text? Something like:
$ sought_tool --list-pages-with-highlights doc.pdf
1 3 14