After generating a PDF file, we want to know the number of resulting pages and the resulting file size from headers.