reconfigure branch for local builds and as scheduler for docs workflows

- set up placeholder and trigger for Deploy Docs workflow in docs-build branch
- set up placeholder and trigger for Rebuild Search Index workflow in docs-build branch
- remove obsolete Deploy Reference workflow
- upgrade Antora to 3.1
- reconfigure docs build for local build only
- add patch to support using linked worktree as Antora content source
- remove Antora extensions only needed for the production docs build

Author: mojavelinux

.github/actions/algolia-config.json

@@ -0,0 +1,8 @@
+name: Deploy Docs
+on:
+  workflow_dispatch:
+jobs:
+  register:
+    if: false
+    steps:
+    - run: echo Workflow registered!

.github/actions/algolia-deploy.sh

@@ -0,0 +1,8 @@
+name: Rebuild Search Index
+on:
+  workflow_dispatch:
+jobs:
+  register:
+    if: false
+    steps:
+    - run: echo Workflow registered!

.github/actions/algolia-docsearch-scraper.sh

@@ -0,0 +1,22 @@
+name: Trigger Deploy Docs
+on:
+  repository_dispatch:
+    types: request-build-reference # legacy
+  schedule:
+  - cron: '0 10 * * *' # Once per day at 10am UTC
+  workflow_dispatch:
+permissions: read-all
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    if: github.repository_owner == 'spring-projects'
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v2
+      with:
+        ref: docs-build
+        fetch-depth: 1
+    - name: Dispatch
+      run: gh workflow run --ref $(git rev-parse --abbrev-ref HEAD) deploy-docs.yml
+      env:
+        GH_TOKEN: ${{ secrets.GH_ACTIONS_REPO_TOKEN }}

.github/workflows/algolia-index.yml

@@ -0,0 +1,20 @@
+name: Trigger Rebuild Search Index
+on:
+  schedule:
+  - cron: '0 10 * * *' # Once per day at 10am UTC
+  workflow_dispatch:
+permissions: read-all
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    if: github.repository_owner == 'spring-projects'
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v2
+      with:
+        ref: docs-build
+        fetch-depth: 1
+    - name: Dispatch
+      run: gh workflow run --ref $(git rev-parse --abbrev-ref HEAD) rebuild-search-index.yml
+      env:
+        GH_TOKEN: ${{ secrets.GH_ACTIONS_REPO_TOKEN }}

.github/workflows/deploy-docs.yml

@@ -0,0 +1,2 @@
+/package-lock.json
+/node_modules/