> Doesn't seem like HTML would fly, either, given all the kinds of things that get embedded into PDF.
That's ironic. Browser PDF readers, at least open source ones, render PDFs as HTML using javascript. At least I'm sure about FF because I just checked that text from a native-digital pdf showed up in the DOM in developer tools.