Backport changes from stable documentation branch (#15611)
Backport changes from stable documentation branch (#15611)

This pull request is created automatically after push to stable documentation branch and backports the changes
sjrd/dotty,dotty-staging/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,dotty-staging/dotty,dotty-staging/dotty