Don't refer to pdf.js here