Extend indesign.save_as() to exporting as PDF.