I am the OP, but my OP was accidentially on my work account.
I figured out the perfect prompt for ChatGPT to extract highlights, assuming you have the setting to copy highlights to comments. Here it is:
Please extract the comments from this PDF document, preserving the visual order in which they appear in the document (not the date or author order).
Do not include page numbers or commenter names.
If the comments are presented with bullet points, preserve the original bulleting.
Do not add any numbering to the comments.
If a single sentence is broken into multiple sticky notes (for example, across a page break), please stitch the fragments back together into a complete sentence
If any comment appears to be a section title (typically 4+ words starting with a capital letter or in all caps), please bold that text.
Instead of generating a Word document, output the full results here as text with actual bold formatting (not asterisks) for any section titles, and preserve all bullet points as plain text bullets. This ensures the formatting stays intact when pasted into Evernote.
I like this better than the fee Create Comment Summary Action Wizard because that often distorts characters and loses formatting.
Hope others can make use of this!