Smaller pdfs and fewer queries per print (backport)

Chrome PDFs with headers and footers are much smaller, and printing reads settings from the cache.