Update single-page HTML documentation#2276

Open

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

github-action-single-page-doc-generator

Commits on Apr 7, 2026

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