Change docs as suggested in SIP meeting#8527

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:change-docsdotty-staging/dotty:change-docsCopy head branch name to clipboard