Merge the smoke-test commits made directly on GitHub

Two commits were made in the GitHub web editor to test whether the self-hosted
runner group was shared with this repository - it is. They branched from
e60945e, while the publication export produced its own two commits from the same
parent, so main here and main on GitHub had diverged and the ff-only push was
correctly refused.

Merging rather than force-pushing: the commits are real history somebody made,
and the wilm branch has already merged them, so discarding them from main would
only delay their return.

.github/workflows/smoke.yml

@@ -0,0 +1,13 @@
+name: Runner smoke
+on:
+  workflow_dispatch:
+jobs:
+  hello:
+    runs-on: arc-runner-set
+    steps:
+      - uses: actions/checkout@v4
+      - run: |
+          echo "runner: $RUNNER_NAME  os: $RUNNER_OS"
+          python3 --version || echo "no python3 on PATH"
+          node --version   || echo "no node on PATH"
+          bash --version | head -1