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

bracevac merged 1 commit intoscala:mainscala/scala3:mainfrom

aldenml:doc-repeated-word-fixaldenml/dotty:doc-repeated-word-fixCopy head branch name to clipboard