A quick note on how I got multiple PDF files combined into one single one on a linux command line. The thumbnail was created with Google AI (Imagen 3).
I am subscribed to a few mailing lists and I stumbled across
a big video file in one of them recently. Here is a small command-line
command using ffmpeg that cut its filesize in half.