I have a question that maybe you can answer, having really perused the PDF spec. Is it true that PDF removed the turing-completeness of PostScript?
I had heard something that the main reason for creating PDF was that you couldn't render a single PS page without rendering all the ones preceding it.