Update single-page HTML documentation#2299

Open

github-actions[bot] wants to merge 1 commit intomasterfrom

github-action-single-page-doc-generator

Commits on May 4, 2026

[create-pull-request] automated change
GitHub Actions
committed