Ответ
ALiEN175 натолкнул меня на мысль.
apt install imagemagick
convert test.pdf test.jpg
convert test*.jpg outfile.pdf
man convert
И вот, в принципе задача решена:
convert -verbose -colorspace RGB -interlace none -density 105 -quality 100 "pdf_with_text" /tmp/tmp_%04d.jpeg
convert /tmp/tmp_[0-9][0-9][0-9][0-9].jpeg "pdf_with_images";
убрав-добавив свое получим готовый результат. Собственно, эти строки много где описаны. Я с количеством получаемых JPEG-ов не сразу справился (все ж мало кому нужно больше десятка станиц перегонять в картинки). Хорошо, что формат номера файла оказался C-шным (/tmp/tmp_
%04d.jpeg). После этого все сразу встало на свои места.
poppler-utils ?
Спасибо за наводку. Я как раз встретил мануал, как через них сделать то же самое.
Всем отвечавшим огромное спасибо! Так или иначе вы поспособствовали решению моей задачи!