Lint

Fix header formatting: shorten nav title and prevent nav items from w… #71679

Job	Run time
android-java-format	13s
link-check / lint-file-size	12s
link-check / lint-xrefs	9s
link-check / lint-urls	12s
Get changed files / get-changed-files	4s
lintrunner	51s
lintrunner-mypy	3m 8s
	4m 49s

Provide feedback