PDF: add utilities for PDF.js version-based decisions
PDF plugin: user marker classes depending on PDF.js version

See the inline comments in the code.