Kudos to @mkern_ for his tool mapdeduce.com (summarize/query a PDF document using AI). Works really nicely – though the option for summaries slightly longer than one paragraph would be good.