Update `reporting` docs#6943

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:reporting-docs-updatedotty-staging/dotty:reporting-docs-updateCopy head branch name to clipboard