diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f856620..45f4c52 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -55,6 +55,11 @@ jobs:
         # site moves to a custom domain.
         run: ./build/exec/ddraig build examples _site https://hyperpolymath.github.io/ddraig-ssg
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3
+        # v5 pins its inner actions/upload-artifact to a commit SHA; v3 used the
+        # `@v4` tag, which the SHA-pin policy rejects at job set-up. v4+ drops
+        # dotfiles by default, so keep them: .well-known/ carries the O3
+        # accessibility attestation.
+        uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0
         with:
           path: _site
+          include-hidden-files: true
diff --git a/examples/about.adoc b/examples/about.adoc
deleted file mode 100644
index 59c3026..0000000
--- a/examples/about.adoc
+++ /dev/null
@@ -1,10 +0,0 @@
-== 
-
-title: Getting started site: Ddraig description: How to build a site
-with Ddraig. date: 2026-06-22 —
-
-== Getting started
-
-[arabic]
-. Compile: `+idris2 Ddraig.idr -o ddraig+`
-. Build: `+ddraig build examples _site+`
diff --git a/examples/about.md b/examples/about.md
new file mode 100644
index 0000000..ee726e5
--- /dev/null
+++ b/examples/about.md
@@ -0,0 +1,12 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+---
+title: Getting started
+site: Ddraig
+description: How to build a site with Ddraig.
+date: 2026-06-22
+---
+
+# Getting started
+
+1. Compile: `idris2 Ddraig.idr -o ddraig`
+2. Build: `ddraig build examples _site`
diff --git a/examples/index.adoc b/examples/index.adoc
deleted file mode 100644
index b45d38e..0000000
--- a/examples/index.adoc
+++ /dev/null
@@ -1,33 +0,0 @@
-== 
-
-title: Ddraig site: Ddraig description: A dependently-typed static-site
-generator written in Idris 2. date: 2026-06-22 —
-
-== Ddraig
-
-Types that breathe fire. A static-site generator in pure Idris 2.
-
-____
-Built-in accessible theme, WCAG 2.2 AAA-capable.
-____
-
-=== Feature matrix
-
-[cols=",",options="header",]
-|===
-|Feature |Status
-|Markdown |full
-|Tables |yes
-|Raw HTML |yes
-|===
-
-=== Code
-
-[source,idris]
-----
-main : IO ()
-main = putStrLn "Ddraig"
-----
-
-See the link:/about.html[getting-started page] and the project
-https://github.com/hyperpolymath/ddraig-ssg[README].
diff --git a/examples/index.md b/examples/index.md
new file mode 100644
index 0000000..7a310c1
--- /dev/null
+++ b/examples/index.md
@@ -0,0 +1,30 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+---
+title: Ddraig
+site: Ddraig
+description: A dependently-typed static-site generator written in Idris 2.
+date: 2026-06-22
+---
+
+# Ddraig
+
+Types that breathe fire. A static-site generator in pure Idris 2.
+
+> Built-in accessible theme, WCAG 2.2 AAA-capable.
+
+## Feature matrix
+
+| Feature | Status |
+|---------|--------|
+| Markdown | full |
+| Tables | yes |
+| Raw HTML | yes |
+
+## Code
+
+```idris
+main : IO ()
+main = putStrLn "Ddraig"
+```
+
+See the [getting-started page](/about.html) and the project [README](https://github.com/hyperpolymath/ddraig-ssg).