It seems that PDF output from the compiler is an image of the text, rather than being actual text. This means that Adobe reader apps can’t re-wrap the text on mobile devices, which is a big drawback. It also produces text that’s slightly fuzzy.
Is there something I’m missing? I’ve never before seen a PDF output feature that does this.