Document PDFDefaultPageSize and PDFPageSizes; bug 3938