see https://ningensei848.github.io/docstring2pdf
Automatically generate PDF documents from docstrings using GitHub Actions and upload to Google Drive.