Dotty

doc fix, removed repeated use of the word with #33132

Job	Run time
test	53m 39s
test_non_bootstrapped	0s
test_windows_fast	31m 55s
MiMa	10m 52s
test_scala2_library_tasty	0s
test_windows_full	0s
community_build_a	53m 32s
community_build_b	1h 14m 45s
community_build_c	1h 3m 50s
test_sbt	18m 38s
build-msi-package	0s
test_java8	0s
build-sdk-package / build	7m 33s
test-msi-package	0s
build-chocolatey-package / build	18s
test-chocolatey-package	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	5h 15m 2s

Provide feedback