diff --git a/docs/amaranth/latest/.buildinfo b/docs/amaranth/latest/.buildinfo
deleted file mode 100644
index 72dc093d..00000000
--- a/docs/amaranth/latest/.buildinfo
+++ /dev/null
@@ -1,4 +0,0 @@
-# Sphinx build info version 1
-# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: b4e93f27a834ee4e952feb9cd518503b
-tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/amaranth/latest/.doctrees/changes.doctree b/docs/amaranth/latest/.doctrees/changes.doctree
deleted file mode 100644
index 091196cd..00000000
Binary files a/docs/amaranth/latest/.doctrees/changes.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/contrib.doctree b/docs/amaranth/latest/.doctrees/contrib.doctree
deleted file mode 100644
index 21de04db..00000000
Binary files a/docs/amaranth/latest/.doctrees/contrib.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/cover.doctree b/docs/amaranth/latest/.doctrees/cover.doctree
deleted file mode 100644
index bcfc0b86..00000000
Binary files a/docs/amaranth/latest/.doctrees/cover.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/environment.pickle b/docs/amaranth/latest/.doctrees/environment.pickle
deleted file mode 100644
index d2bc9d9d..00000000
Binary files a/docs/amaranth/latest/.doctrees/environment.pickle and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/guide.doctree b/docs/amaranth/latest/.doctrees/guide.doctree
deleted file mode 100644
index 550c3216..00000000
Binary files a/docs/amaranth/latest/.doctrees/guide.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/index.doctree b/docs/amaranth/latest/.doctrees/index.doctree
deleted file mode 100644
index b34bd1a3..00000000
Binary files a/docs/amaranth/latest/.doctrees/index.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/install.doctree b/docs/amaranth/latest/.doctrees/install.doctree
deleted file mode 100644
index cc4e731c..00000000
Binary files a/docs/amaranth/latest/.doctrees/install.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/intro.doctree b/docs/amaranth/latest/.doctrees/intro.doctree
deleted file mode 100644
index 3cd06d9c..00000000
Binary files a/docs/amaranth/latest/.doctrees/intro.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/platform.doctree b/docs/amaranth/latest/.doctrees/platform.doctree
deleted file mode 100644
index 3b865e3e..00000000
Binary files a/docs/amaranth/latest/.doctrees/platform.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/platform/altera.doctree b/docs/amaranth/latest/.doctrees/platform/altera.doctree
deleted file mode 100644
index 76ef00c3..00000000
Binary files a/docs/amaranth/latest/.doctrees/platform/altera.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/platform/gowin.doctree b/docs/amaranth/latest/.doctrees/platform/gowin.doctree
deleted file mode 100644
index 111093f6..00000000
Binary files a/docs/amaranth/latest/.doctrees/platform/gowin.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/platform/lattice.doctree b/docs/amaranth/latest/.doctrees/platform/lattice.doctree
deleted file mode 100644
index 4043b3dd..00000000
Binary files a/docs/amaranth/latest/.doctrees/platform/lattice.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/platform/quicklogic.doctree b/docs/amaranth/latest/.doctrees/platform/quicklogic.doctree
deleted file mode 100644
index ce828a78..00000000
Binary files a/docs/amaranth/latest/.doctrees/platform/quicklogic.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/platform/siliconblue.doctree b/docs/amaranth/latest/.doctrees/platform/siliconblue.doctree
deleted file mode 100644
index 3f702bba..00000000
Binary files a/docs/amaranth/latest/.doctrees/platform/siliconblue.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/platform/xilinx.doctree b/docs/amaranth/latest/.doctrees/platform/xilinx.doctree
deleted file mode 100644
index 53c23387..00000000
Binary files a/docs/amaranth/latest/.doctrees/platform/xilinx.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/reference.doctree b/docs/amaranth/latest/.doctrees/reference.doctree
deleted file mode 100644
index a27ce518..00000000
Binary files a/docs/amaranth/latest/.doctrees/reference.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/simulator.doctree b/docs/amaranth/latest/.doctrees/simulator.doctree
deleted file mode 100644
index 318049dc..00000000
Binary files a/docs/amaranth/latest/.doctrees/simulator.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/start.doctree b/docs/amaranth/latest/.doctrees/start.doctree
deleted file mode 100644
index 5690eb01..00000000
Binary files a/docs/amaranth/latest/.doctrees/start.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib.doctree b/docs/amaranth/latest/.doctrees/stdlib.doctree
deleted file mode 100644
index 29e757f8..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/cdc.doctree b/docs/amaranth/latest/.doctrees/stdlib/cdc.doctree
deleted file mode 100644
index 1abfcdac..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/cdc.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/crc.doctree b/docs/amaranth/latest/.doctrees/stdlib/crc.doctree
deleted file mode 100644
index 78b215f6..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/crc.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/crc/catalog.doctree b/docs/amaranth/latest/.doctrees/stdlib/crc/catalog.doctree
deleted file mode 100644
index fe75b6e0..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/crc/catalog.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/data.doctree b/docs/amaranth/latest/.doctrees/stdlib/data.doctree
deleted file mode 100644
index f1021ead..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/data.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/enum.doctree b/docs/amaranth/latest/.doctrees/stdlib/enum.doctree
deleted file mode 100644
index 3c0fc7cf..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/enum.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/fifo.doctree b/docs/amaranth/latest/.doctrees/stdlib/fifo.doctree
deleted file mode 100644
index bad43424..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/fifo.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/io.doctree b/docs/amaranth/latest/.doctrees/stdlib/io.doctree
deleted file mode 100644
index 5ef4a622..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/io.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/memory.doctree b/docs/amaranth/latest/.doctrees/stdlib/memory.doctree
deleted file mode 100644
index 6c50610b..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/memory.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/meta.doctree b/docs/amaranth/latest/.doctrees/stdlib/meta.doctree
deleted file mode 100644
index c5dba003..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/meta.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/stream.doctree b/docs/amaranth/latest/.doctrees/stdlib/stream.doctree
deleted file mode 100644
index bbf51589..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/stream.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/stdlib/wiring.doctree b/docs/amaranth/latest/.doctrees/stdlib/wiring.doctree
deleted file mode 100644
index d7c0e667..00000000
Binary files a/docs/amaranth/latest/.doctrees/stdlib/wiring.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/.doctrees/tutorial.doctree b/docs/amaranth/latest/.doctrees/tutorial.doctree
deleted file mode 100644
index d434acf8..00000000
Binary files a/docs/amaranth/latest/.doctrees/tutorial.doctree and /dev/null differ
diff --git a/docs/amaranth/latest/_static/documentation_options.js b/docs/amaranth/latest/_static/documentation_options.js
index 4bf2f57c..7d0f43f8 100644
--- a/docs/amaranth/latest/_static/documentation_options.js
+++ b/docs/amaranth/latest/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.6.0.dev52',
+    VERSION: '0.6.0.dev53',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',
diff --git a/docs/amaranth/latest/changes.html b/docs/amaranth/latest/changes.html
index e42d1ab5..6df72b98 100644
--- a/docs/amaranth/latest/changes.html
+++ b/docs/amaranth/latest/changes.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Changelog &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Changelog &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/contrib.html b/docs/amaranth/latest/contrib.html
index 1b3b27b2..1d3868eb 100644
--- a/docs/amaranth/latest/contrib.html
+++ b/docs/amaranth/latest/contrib.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Contributing &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -40,7 +40,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/cover.html b/docs/amaranth/latest/cover.html
index fa7df2bd..3a3c2f21 100644
--- a/docs/amaranth/latest/cover.html
+++ b/docs/amaranth/latest/cover.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Amaranth project documentation &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -40,7 +40,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/genindex.html b/docs/amaranth/latest/genindex.html
index f15ce3de..0b144f6b 100644
--- a/docs/amaranth/latest/genindex.html
+++ b/docs/amaranth/latest/genindex.html
@@ -3,7 +3,7 @@
 <head>
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -16,7 +16,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -38,7 +38,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/guide.html b/docs/amaranth/latest/guide.html
index e47839e6..c72b5208 100644
--- a/docs/amaranth/latest/guide.html
+++ b/docs/amaranth/latest/guide.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Language guide &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Language guide &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/index.html b/docs/amaranth/latest/index.html
index dc49fe9f..31226bf4 100644
--- a/docs/amaranth/latest/index.html
+++ b/docs/amaranth/latest/index.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Language &amp; toolchain &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/install.html b/docs/amaranth/latest/install.html
index 4e6e5a38..9ea97b7b 100644
--- a/docs/amaranth/latest/install.html
+++ b/docs/amaranth/latest/install.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Installation &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Installation &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/intro.html b/docs/amaranth/latest/intro.html
index 886c7591..a3cccf4d 100644
--- a/docs/amaranth/latest/intro.html
+++ b/docs/amaranth/latest/intro.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Introduction &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Introduction &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/objects.inv b/docs/amaranth/latest/objects.inv
index cdb76a3d..12c9c644 100644
Binary files a/docs/amaranth/latest/objects.inv and b/docs/amaranth/latest/objects.inv differ
diff --git a/docs/amaranth/latest/platform.html b/docs/amaranth/latest/platform.html
index 5e5d1f99..bd7dfa3d 100644
--- a/docs/amaranth/latest/platform.html
+++ b/docs/amaranth/latest/platform.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Platform integration &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Platform integration &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/platform/altera.html b/docs/amaranth/latest/platform/altera.html
index 3646fa9b..b1a93b63 100644
--- a/docs/amaranth/latest/platform/altera.html
+++ b/docs/amaranth/latest/platform/altera.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Altera &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Altera &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/platform/gowin.html b/docs/amaranth/latest/platform/gowin.html
index daf0ea58..1a717e84 100644
--- a/docs/amaranth/latest/platform/gowin.html
+++ b/docs/amaranth/latest/platform/gowin.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Gowin &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Gowin &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/platform/lattice.html b/docs/amaranth/latest/platform/lattice.html
index 5428cbc7..cc3f3fce 100644
--- a/docs/amaranth/latest/platform/lattice.html
+++ b/docs/amaranth/latest/platform/lattice.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Lattice &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Lattice &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/platform/quicklogic.html b/docs/amaranth/latest/platform/quicklogic.html
index 7554ddde..ad390973 100644
--- a/docs/amaranth/latest/platform/quicklogic.html
+++ b/docs/amaranth/latest/platform/quicklogic.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Quicklogic &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Quicklogic &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/platform/siliconblue.html b/docs/amaranth/latest/platform/siliconblue.html
index 36e55c43..355017f6 100644
--- a/docs/amaranth/latest/platform/siliconblue.html
+++ b/docs/amaranth/latest/platform/siliconblue.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>SiliconBlue &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>SiliconBlue &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/platform/xilinx.html b/docs/amaranth/latest/platform/xilinx.html
index d72f61e8..4cc332a1 100644
--- a/docs/amaranth/latest/platform/xilinx.html
+++ b/docs/amaranth/latest/platform/xilinx.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Xilinx &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Xilinx &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/py-modindex.html b/docs/amaranth/latest/py-modindex.html
index 45120c24..bc6fce45 100644
--- a/docs/amaranth/latest/py-modindex.html
+++ b/docs/amaranth/latest/py-modindex.html
@@ -3,7 +3,7 @@
 <head>
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Python Module Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Python Module Index &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -16,7 +16,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/reference.html b/docs/amaranth/latest/reference.html
index 9340539f..9a9526c1 100644
--- a/docs/amaranth/latest/reference.html
+++ b/docs/amaranth/latest/reference.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Language reference &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Language reference &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/search.html b/docs/amaranth/latest/search.html
index 8852439e..17b51939 100644
--- a/docs/amaranth/latest/search.html
+++ b/docs/amaranth/latest/search.html
@@ -3,7 +3,7 @@
 <head>
   <meta charset="utf-8" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Search &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Search &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="#" method="get">
diff --git a/docs/amaranth/latest/simulator.html b/docs/amaranth/latest/simulator.html
index 35e5d365..15eb6949 100644
--- a/docs/amaranth/latest/simulator.html
+++ b/docs/amaranth/latest/simulator.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Simulator &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Simulator &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/start.html b/docs/amaranth/latest/start.html
index 0a9dde11..50e57c0c 100644
--- a/docs/amaranth/latest/start.html
+++ b/docs/amaranth/latest/start.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Getting started &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Getting started &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib.html b/docs/amaranth/latest/stdlib.html
index a1f7b5d5..7aad2b4d 100644
--- a/docs/amaranth/latest/stdlib.html
+++ b/docs/amaranth/latest/stdlib.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Standard library &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Standard library &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/cdc.html b/docs/amaranth/latest/stdlib/cdc.html
index 995b54ad..66158e1a 100644
--- a/docs/amaranth/latest/stdlib/cdc.html
+++ b/docs/amaranth/latest/stdlib/cdc.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Clock domain crossing &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Clock domain crossing &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/crc.html b/docs/amaranth/latest/stdlib/crc.html
index c5658c02..2e4dd728 100644
--- a/docs/amaranth/latest/stdlib/crc.html
+++ b/docs/amaranth/latest/stdlib/crc.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Cyclic redundancy checks &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Cyclic redundancy checks &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/crc/catalog.html b/docs/amaranth/latest/stdlib/crc/catalog.html
index 1854aa8f..b9b6fc1e 100644
--- a/docs/amaranth/latest/stdlib/crc/catalog.html
+++ b/docs/amaranth/latest/stdlib/crc/catalog.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Algorithm catalog &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Algorithm catalog &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../../_static/jquery.js?v=5d32c60e"></script>
         <script src="../../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../../" id="documentation_options" src="../../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../../" id="documentation_options" src="../../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../../_static/doctools.js?v=888ff710"></script>
         <script src="../../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/data.html b/docs/amaranth/latest/stdlib/data.html
index 84d5e3b6..787ee7df 100644
--- a/docs/amaranth/latest/stdlib/data.html
+++ b/docs/amaranth/latest/stdlib/data.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Data structures &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Data structures &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/enum.html b/docs/amaranth/latest/stdlib/enum.html
index 18860900..a30207bd 100644
--- a/docs/amaranth/latest/stdlib/enum.html
+++ b/docs/amaranth/latest/stdlib/enum.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Enumerations &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Enumerations &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/fifo.html b/docs/amaranth/latest/stdlib/fifo.html
index 03af086c..43ee620b 100644
--- a/docs/amaranth/latest/stdlib/fifo.html
+++ b/docs/amaranth/latest/stdlib/fifo.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>First-in first-out queues &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>First-in first-out queues &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/io.html b/docs/amaranth/latest/stdlib/io.html
index 02f52474..a4568612 100644
--- a/docs/amaranth/latest/stdlib/io.html
+++ b/docs/amaranth/latest/stdlib/io.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Input/output buffers &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Input/output buffers &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/memory.html b/docs/amaranth/latest/stdlib/memory.html
index e6f1128a..238756f5 100644
--- a/docs/amaranth/latest/stdlib/memory.html
+++ b/docs/amaranth/latest/stdlib/memory.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Memory arrays &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Memory arrays &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/meta.html b/docs/amaranth/latest/stdlib/meta.html
index e51ac0f1..aaf9e99f 100644
--- a/docs/amaranth/latest/stdlib/meta.html
+++ b/docs/amaranth/latest/stdlib/meta.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Interface metadata &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Interface metadata &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/stream.html b/docs/amaranth/latest/stdlib/stream.html
index 47866e8c..8b9303d9 100644
--- a/docs/amaranth/latest/stdlib/stream.html
+++ b/docs/amaranth/latest/stdlib/stream.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Data streams &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Data streams &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/stdlib/wiring.html b/docs/amaranth/latest/stdlib/wiring.html
index 58f12b34..e862c1a1 100644
--- a/docs/amaranth/latest/stdlib/wiring.html
+++ b/docs/amaranth/latest/stdlib/wiring.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Interfaces and connections &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Interfaces and connections &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="../_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="../_static/jquery.js?v=5d32c60e"></script>
         <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js?v=35ec52ac"></script>
         <script src="../_static/doctools.js?v=888ff710"></script>
         <script src="../_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="../_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="../_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
diff --git a/docs/amaranth/latest/tutorial.html b/docs/amaranth/latest/tutorial.html
index adb69e48..18f36a83 100644
--- a/docs/amaranth/latest/tutorial.html
+++ b/docs/amaranth/latest/tutorial.html
@@ -4,7 +4,7 @@
   <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Tutorial &mdash; Amaranth language &amp; toolchain 0.6.0.dev52 documentation</title>
+  <title>Tutorial &mdash; Amaranth language &amp; toolchain 0.6.0.dev53 documentation</title>
       <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
       <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
       <link rel="stylesheet" type="text/css" href="_static/platformpicker.css" />
@@ -17,7 +17,7 @@
   
         <script src="_static/jquery.js?v=5d32c60e"></script>
         <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=9194d6b5"></script>
+        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js?v=35ec52ac"></script>
         <script src="_static/doctools.js?v=888ff710"></script>
         <script src="_static/sphinx_highlight.js?v=4825356b"></script>
         <script src="_static/platformpicker.js"></script>
@@ -41,7 +41,7 @@
               <img src="_static/logo.png" class="logo" alt="Logo"/>
           </a>
               <div class="version">
-                0.6.0.dev52
+                0.6.0.dev53
               </div>
 <div role="search">
   <form id="rtd-search-form" class="wy-form" action="search.html" method="get">