You can use report function to check who exported the manual in PDF format.
▼ Download manual views report using report function (Web Browser)
https://teachme.jp/8/manuals/12701648/
When the manual is exported to PDF, "PDF export" will appear under the "View type" in the exported file.