Add new papers n4639 (editors' report) and n4640.

Forcibly enable PDF compression so that LaTeX installation differences
don't cause the PDF file size to vary between 6MB and 16MB.