Hi, sorry for the late reply, and thanks for your reports.
Would it be possible to update your changes to the man pages provided by poppler-utils to the newer Poppler 0.26.2, and send them upstream? You can open a new bug (just one for all the changes should be enough) at https://bugs.freedesktop.org, "poppler" product. Feel free to provide the bug number/link, so I can track it. Thanks, -- Pino Toscano -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org