Update Tumult and regenerate

propensive · propensive · commit f706ea3bb340 · 2024-12-27T14:38:33.000+01:00
diff --git a/.github/workflows/admin.yml b/.github/workflows/admin.yml
@@ -14,6 +14,6 @@ jobs:
     - name: Checkout
       uses: actions/checkout@v3
     - name: Tidy repository
-      uses: propensive/tumult@0.6.1
+      uses: propensive/tumult@0.6.2
     - name: Autocommit changes
       uses: stefanzweifel/git-auto-commit-action@v4
diff --git a/doc/availability.md b/doc/availability.md
@@ -0,0 +1 @@
+
