[automated] Update man pages#22

github-actions[bot] wants to merge 1 commit intorelease/10.0.1xxjoeloff/sdk:release/10.0.1xxfrom

update-man-page-2025-10-31joeloff/sdk:update-man-page-2025-10-31Copy head branch name to clipboard