diff --git a/assets/deed-v0.2.4-wasm32-unknown-unknown.wasm b/assets/deed-v0.2.4-wasm32-unknown-unknown.wasm
deleted file mode 100644
index aa68d06..0000000
Binary files a/assets/deed-v0.2.4-wasm32-unknown-unknown.wasm and /dev/null differ
diff --git a/assets/deed-v0.2.5-wasm32-unknown-unknown.wasm b/assets/deed-v0.2.5-wasm32-unknown-unknown.wasm
new file mode 100644
index 0000000..31ada69
Binary files /dev/null and b/assets/deed-v0.2.5-wasm32-unknown-unknown.wasm differ
diff --git a/assets/errors.js b/assets/errors.js
index 2c5ffd1..2133b4a 100644
--- a/assets/errors.js
+++ b/assets/errors.js
@@ -5,8 +5,8 @@
 // artifact carries all of them, so this page cannot document a code the
 // compiler does not have, or miss one it does.
 
-const TAG = "v0.2.4";
-const VERSION = "0.2.4";
+const TAG = "v0.2.5";
+const VERSION = "0.2.5";
 const WASM_URL = `../assets/deed-${TAG}-wasm32-unknown-unknown.wasm`;
 
 const STATUS = document.getElementById("status");
diff --git a/assets/play.js b/assets/play.js
index 075bebd..8b26396 100644
--- a/assets/play.js
+++ b/assets/play.js
@@ -13,8 +13,8 @@
 // release, because a release asset cannot be fetched from a browser at all:
 // both the download URL and the API one redirect to a host that sends no
 // `Access-Control-Allow-Origin`. See decisions/2026-07-31-no-build-step.md.
-const TAG = "v0.2.4";
-const VERSION = "0.2.4";
+const TAG = "v0.2.5";
+const VERSION = "0.2.5";
 const WASM_URL = `../assets/deed-${TAG}-wasm32-unknown-unknown.wasm`;
 
 const SOURCE = document.getElementById("source");
diff --git a/examples/index.json b/examples/index.json
index c7104d5..6336925 100644
--- a/examples/index.json
+++ b/examples/index.json
@@ -1,5 +1,5 @@
 {
-  "tag": "v0.2.4",
+  "tag": "v0.2.5",
   "examples": [
     {
       "file": "calculator.deed",
diff --git a/install/index.html b/install/index.html
index fff50d5..09d32c1 100644
--- a/install/index.html
+++ b/install/index.html
@@ -62,7 +62,7 @@ <h1>Install</h1>
         </p>
 
         <!--
-          Every `deed 0.2.4` below is the output of that binary on that
+          Every `deed 0.2.5` below is the output of that binary on that
           platform, printed by the release workflow, which refuses to publish
           when a binary disagrees with its tag. The program output further down
           was produced by running the released Windows build.
@@ -83,15 +83,15 @@ <h2>Take the file for your machine</h2>
           <tbody>
             <tr>
               <td>Linux, 64-bit Intel or AMD</td>
-              <td><code>deed-v0.2.4-x86_64-unknown-linux-gnu.tar.gz</code></td>
+              <td><code>deed-v0.2.5-x86_64-unknown-linux-gnu.tar.gz</code></td>
             </tr>
             <tr>
               <td>macOS, Apple silicon</td>
-              <td><code>deed-v0.2.4-aarch64-apple-darwin.tar.gz</code></td>
+              <td><code>deed-v0.2.5-aarch64-apple-darwin.tar.gz</code></td>
             </tr>
             <tr>
               <td>Windows, 64-bit</td>
-              <td><code>deed-v0.2.4-x86_64-pc-windows-msvc.zip</code></td>
+              <td><code>deed-v0.2.5-x86_64-pc-windows-msvc.zip</code></td>
             </tr>
           </tbody>
         </table>
@@ -110,23 +110,23 @@ <h2>Unpack it and ask it what it is</h2>
         </p>
 
         <h3>Linux</h3>
-        <pre class="code"><code>$ tar xzf deed-v0.2.4-x86_64-unknown-linux-gnu.tar.gz
-$ ./deed-v0.2.4-x86_64-unknown-linux-gnu/deed --version
-deed 0.2.4</code></pre>
+        <pre class="code"><code>$ tar xzf deed-v0.2.5-x86_64-unknown-linux-gnu.tar.gz
+$ ./deed-v0.2.5-x86_64-unknown-linux-gnu/deed --version
+deed 0.2.5</code></pre>
 
         <h3>macOS</h3>
-        <pre class="code"><code>$ tar xzf deed-v0.2.4-aarch64-apple-darwin.tar.gz
-$ xattr -d com.apple.quarantine deed-v0.2.4-aarch64-apple-darwin/deed
-$ ./deed-v0.2.4-aarch64-apple-darwin/deed --version
-deed 0.2.4</code></pre>
+        <pre class="code"><code>$ tar xzf deed-v0.2.5-aarch64-apple-darwin.tar.gz
+$ xattr -d com.apple.quarantine deed-v0.2.5-aarch64-apple-darwin/deed
+$ ./deed-v0.2.5-aarch64-apple-darwin/deed --version
+deed 0.2.5</code></pre>
         <p>
           The middle line is not optional and it is explained below.
         </p>
 
         <h3>Windows</h3>
-        <pre class="code"><code>&gt; Expand-Archive deed-v0.2.4-x86_64-pc-windows-msvc.zip .
-&gt; .\deed-v0.2.4-x86_64-pc-windows-msvc\deed.exe --version
-deed 0.2.4</code></pre>
+        <pre class="code"><code>&gt; Expand-Archive deed-v0.2.5-x86_64-pc-windows-msvc.zip .
+&gt; .\deed-v0.2.5-x86_64-pc-windows-msvc\deed.exe --version
+deed 0.2.5</code></pre>
 
         <h2>What your operating system will say about it</h2>
         <p>
@@ -162,7 +162,7 @@ <h2>Where to put it</h2>
           itself. To type <code>deed</code> instead of a path, move it onto
           yours:
         </p>
-        <pre class="code"><code>$ sudo mv deed-v0.2.4-x86_64-unknown-linux-gnu/deed /usr/local/bin/deed</code></pre>
+        <pre class="code"><code>$ sudo mv deed-v0.2.5-x86_64-unknown-linux-gnu/deed /usr/local/bin/deed</code></pre>
         <p>
           On Windows, put the folder on <code>Path</code> through Settings, or
           keep using the full path. Nothing on this page needs it on
@@ -218,7 +218,7 @@ <h2>When it does not work</h2>
             <code>./</code>, or move it as above.
           </dd>
 
-          <dt><code>--version</code> prints something other than 0.2.4</dt>
+          <dt><code>--version</code> prints something other than 0.2.5</dt>
           <dd>
             You are running a different <code>deed</code> than the one you
             unpacked. <code>which deed</code> says which.
diff --git a/one-clause/index.html b/one-clause/index.html
index 023abd6..2765430 100644
--- a/one-clause/index.html
+++ b/one-clause/index.html
@@ -201,14 +201,14 @@ <h2 data-step="Now take the first one and add `Io.save` to it, and watch the com
         <nav class="next" aria-label="Open in the playground">
           <a
             class="card"
-            href="../play/#0.2.4/zTZFBi9wwDIXv_hXv1i5Mk3soC0t7mcsW2oUei-MoY4MjBUveNJT-9-JktuzRsvS9p6e-xzcmhOyrEhLDQ9ONvdVCSAqLhCnNMxXiQBjJNiKGbYIgyypMbNq5vnd9j5eYFHPlYEkYhfyk8JhTpg4vkd6R1e8K-u2D5R1b9IZkCJ5hUkMcGqwpt1Hd1Wi5YJZyIBPfOjyLxcQ3UFbq8EWWNWWaYIKfND6p0jLm_dIYDbXIVDN9UKRllWJQOh0GYfOJFcIEWan4ozwXWQ75KGrDfTdgIpqGJDhc3KtPRw8S60rBWlzekJMaRpqlEEplbkZbrHzLLWK1Ug_9DlfDRCFNpA22RbJIpW2hdV3zDvIh3k13b1qHxFrktY3hKl2zg7EaWKxhrtKpf6UjzlIZ1q7y_1jYkkWphkJqJZ1GnDsjwkSL9A34Szjvzs3cpAKpfjxuMeBrKhewX2jADyuJbw_49IjvpDXb57Nyuf88OqAqqQPwZvTi_rx_ntQT-OD-un8"
+            href="../play/#0.2.5/zTZFBi9wwDIXv_hXv1i5Mk3soC0t7mcsW2oUei-MoY4MjBUveNJT-9-JktuzRsvS9p6e-xzcmhOyrEhLDQ9ONvdVCSAqLhCnNMxXiQBjJNiKGbYIgyypMbNq5vnd9j5eYFHPlYEkYhfyk8JhTpg4vkd6R1e8K-u2D5R1b9IZkCJ5hUkMcGqwpt1Hd1Wi5YJZyIBPfOjyLxcQ3UFbq8EWWNWWaYIKfND6p0jLm_dIYDbXIVDN9UKRllWJQOh0GYfOJFcIEWan4ozwXWQ75KGrDfTdgIpqGJDhc3KtPRw8S60rBWlzekJMaRpqlEEplbkZbrHzLLWK1Ug_9DlfDRCFNpA22RbJIpW2hdV3zDvIh3k13b1qHxFrktY3hKl2zg7EaWKxhrtKpf6UjzlIZ1q7y_1jYkkWphkJqJZ1GnDsjwkSL9A34Szjvzs3cpAKpfjxuMeBrKhewX2jADyuJbw_49IjvpDXb57Nyuf88OqAqqQPwZvTi_rx_ntQT-OD-un8"
             >
             <strong>read_only.deed</strong>
             <span>The one a host without `Io.save` will run.</span>
           </a>
           <a
             class="card"
-            href="../play/#0.2.4/zhVFBjtswDLz7FXNrArj2PWgDLNpLTwXaBXpcKBIdC2uThkhvNijy90Jy7F20h-okaciZ4bBt8Z0JfnCzEiLDQeOZnc2JEBXWE0LsOkrEnnAiuxAx7CLwMk7CxKZN1bZV2-Kxj4puZm9RGIlcUDh0cSA4DrikaKSIhpPzz00RpldL7p289ZSZNg8HfJNG3Qs1-CLjFAcKMMEvOj2o0ngarnXxOEqYB_qgiOMkyaBUTGQulgu8sLnIWozLRMllVNElGUt_L2qH-xhAIAqHKCgz_PWVzdwLH0obrHeGKclLDKQQHq7ZdG6FEi0Z5q7VW84iUTdrwaJmqi1MnKiTREgzc-Rz2QefhxyOWprLVA0et5ERyA8uUYADExW360DwjlkMI5HVRXZDluUU51sG_0Z39-L4Ci-hmNKmqjblUdpM9FQ2W1Ud5xg8qe7y0vWArzHVYDfSAT8tRT7v8fGIH6TzYJ-Wn_qOHCsgR1IBWPOr10eOr65-l-fozPdrxSK0aOyxFORDKe0u_XWPz8ftXm-oPO-MXq2gG13WeE9XY6l5I_0_8Z38qcCryht8W6636lb9AQ"
+            href="../play/#0.2.5/zhVFBjtswDLz7FXNrArj2PWgDLNpLTwXaBXpcKBIdC2uThkhvNijy90Jy7F20h-okaciZ4bBt8Z0JfnCzEiLDQeOZnc2JEBXWE0LsOkrEnnAiuxAx7CLwMk7CxKZN1bZV2-Kxj4puZm9RGIlcUDh0cSA4DrikaKSIhpPzz00RpldL7p289ZSZNg8HfJNG3Qs1-CLjFAcKMMEvOj2o0ngarnXxOEqYB_qgiOMkyaBUTGQulgu8sLnIWozLRMllVNElGUt_L2qH-xhAIAqHKCgz_PWVzdwLH0obrHeGKclLDKQQHq7ZdG6FEi0Z5q7VW84iUTdrwaJmqi1MnKiTREgzc-Rz2QefhxyOWprLVA0et5ERyA8uUYADExW360DwjlkMI5HVRXZDluUU51sG_0Z39-L4Ci-hmNKmqjblUdpM9FQ2W1Ud5xg8qe7y0vWArzHVYDfSAT8tRT7v8fGIH6TzYJ-Wn_qOHCsgR1IBWPOr10eOr65-l-fozPdrxSK0aOyxFORDKe0u_XWPz8ftXm-oPO-MXq2gG13WeE9XY6l5I_0_8Z38qcCryht8W6636lb9AQ"
             >
             <strong>read_write.deed</strong>
             <span>The one it will not.</span>