I recently scanned a document as a PDF file, and I wanted to retrieve
the embedded images. I really mean extract the images, and not
convert the pages of the document to images (which would entail loss
of data). There is a nice command-line tool to do that: pdfimages,
which …
