There are some external tools in the folder "tools" inside the ADOxx platform installation directory and it seems the is a tool to convert orexport PDF files from the platform. Please, where I could find more information about the usage of this tool? A PDF export would expand the possibilities of model sharing created by using the tool.