fix command name for hover in docs (#38084)

Release Notes:

- N/A
4c758bd0b7Karl-Erik Enkelmann committed on 9/12/2025, 6:46:48 PM· committed by GitHubparent4b7595c
1 file changedLine totals unavailable