A succinct history of the Portable Document Format.