[BUG #8142] point out that getPdf() and getPdfVersion() don't detect PDF.js