Sorry for the aside, this opened for me in pdf.js in firefox (on archlinux) and the font rendered very poorly, but when I downloaded it and looked at it in zathura (vi-like pdf viewer) the font looked fine. Does anybody know what I can do to fix the fonts in pdf.js?