More generally, PDF is a vector graphic format, not a text format. A bunch of things we absolutely take for granted, like selection and copying, simply don't work reliably. (I've hit a number of glitches with the JS-implemented PDF readers that make me pretty sure they're just OCRing the rendered page, which is a ridiculous state of affairs.)