Report super-linter results in both the run summary and a PR comment

Grant the Lint job pull-requests: write so super-linter can post its
summary comment on the pull request instead of failing the POST with
HTTP 403, and turn on the job step summary. SAVE_SUPER_LINTER_SUMMARY
builds the summary that both surfaces render.

Author: MariusStorhaug

.github/workflows/Docs.yml

@@ -33,6 +33,7 @@ jobs:
       contents: read
       packages: read # super-linter: read packages
       statuses: write # super-linter: report status checks
+      pull-requests: write # super-linter: post PR summary comment
     steps:
       - name: Checkout repository
         uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
@@ -44,6 +45,9 @@ jobs:
         uses: super-linter/super-linter@4ce20838b8ab83717e78138c5b3a1407148e0918 # v8.7.0
         env:
           GITHUB_TOKEN: ${{ github.token }}
+          ENABLE_GITHUB_ACTIONS_STEP_SUMMARY: true
+          ENABLE_GITHUB_PULL_REQUEST_SUMMARY_COMMENT: true
+          SAVE_SUPER_LINTER_SUMMARY: true
           VALIDATE_BIOME_LINT: false
           VALIDATE_BIOME_FORMAT: false
           VALIDATE_JSCPD: false