docs: generate docs from latest main [skip-ci]#1

Open

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

create-pull-request/patch

Commits on Oct 4, 2025

[create-pull-request] automated change

nbbeeken
authored and
github-actions[bot]
committed