Omit Insiders-only plugin when building docs on CI (#8652)

.github/workflows/docs.yaml

@@ -44,7 +44,7 @@ jobs:
         run: mkdocs build --strict -f mkdocs.insiders.yml
       - name: "Build docs"
         if: ${{ env.MKDOCS_INSIDERS_SSH_KEY_EXISTS != 'true' }}
-        run: mkdocs build --strict -f mkdocs.generated.yml
+        run: mkdocs build --strict -f mkdocs.public.yml
       - name: "Deploy to Cloudflare Pages"
         if: ${{ env.CF_API_TOKEN_EXISTS == 'true' }}
         uses: cloudflare/wrangler-action@v3.3.2

mkdocs.public.yml

@@ -0,0 +1,4 @@
+INHERIT: mkdocs.generated.yml
+# Omit the `typeset` plugin which is only available in the Insiders version.
+plugins:
+  - search