(If that is still a problem, we will need an additional public API from the poppler folks in order to address this.)
(If that is still a problem, we will need an additional public API from the poppler folks in order to address this.)