[automated] Update man pages#17

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

update-man-page-2025-09-16joeloff/sdk:update-man-page-2025-09-16Copy head branch name to clipboard