doc: rename file (#9208) #13040

Job	Run time
Style/format (ubuntu-latest, feat_os_unix)	10s
Style/lint (ubuntu-latest, all, true)	1m 16s
Style/lint (macos-latest, feat_os_macos)	1m 31s
Style/lint (windows-latest, feat_os_windows)	3m 3s
Style/spelling (ubuntu-latest, feat_os_unix)	1m 39s
Style/toml	10s
Style/Python	5s
Pre-commit hooks	26s
	8m 20s

Provide feedback