public void AddDeveloperExtension(PdfDeveloperExtension de) { pdf_version.AddDeveloperExtension(de); }