pdf.js shouldn’t make assumptions about html