Thread:Extension talk:HTMLets/PDFExport

I am using the HTMLets extension in my wiki to include some other files (tables of data) on my server. I noticed however, that if you use PDFExport, the content is not printed in the PDF, only the tags with the filename. Is there are way that the extension could be modified to include the page in the export?