Export to PDF plugin for Documentator