On Sat, Aug 6, 2022 at 18:40 Peter West <pbw at pbw.id.au> wrote: > The other great tool for processing pdfs is PDFBox. It’s a java jar file, > so you need to have a reasonably recent JVM installed. > ... Thanks, Peter. And God bless you and yours! -Tom