diff --git a/docs/amaranth/latest/.buildinfo b/docs/amaranth/latest/.buildinfo
index 6166d597..15698746 100644
--- a/docs/amaranth/latest/.buildinfo
+++ b/docs/amaranth/latest/.buildinfo
@@ -1,4 +1,4 @@
# 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: 0174babccb0e81e02fc0fd071022581c
+config: 62c0a780a29725e3430b9a15917be9ec
tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/amaranth/latest/.doctrees/changes.doctree b/docs/amaranth/latest/.doctrees/changes.doctree
index be42c853..9fc20534 100644
Binary files a/docs/amaranth/latest/.doctrees/changes.doctree and b/docs/amaranth/latest/.doctrees/changes.doctree differ
diff --git a/docs/amaranth/latest/.doctrees/environment.pickle b/docs/amaranth/latest/.doctrees/environment.pickle
index b30343ba..bf55191a 100644
Binary files a/docs/amaranth/latest/.doctrees/environment.pickle and b/docs/amaranth/latest/.doctrees/environment.pickle differ
diff --git a/docs/amaranth/latest/_sources/changes.rst.txt b/docs/amaranth/latest/_sources/changes.rst.txt
index 8735cee1..dbfe3570 100644
--- a/docs/amaranth/latest/_sources/changes.rst.txt
+++ b/docs/amaranth/latest/_sources/changes.rst.txt
@@ -4,6 +4,16 @@ Changelog
This document describes changes to the public interfaces in the Amaranth language and standard library. It does not include most bug fixes or implementation changes.
+Documentation for past releases
+===============================
+
+Documentation for past releases of the Amaranth language and toolchain is available online:
+
+* `Amaranth 0.4.1 `_
+* `Amaranth 0.4.0 `_
+* `Amaranth 0.3 `_
+
+
Version 0.5 (unreleased)
========================
@@ -17,8 +27,8 @@ Apply the following changes to code written against Amaranth 0.4 to migrate it t
* Replace uses of ``m.Case()`` with no patterns with ``m.Default()``
* Replace uses of ``Value.matches()`` with no patterns with ``Const(1)``
-* Update uses of :func:`amaranth.utils.log2_int(need_pow2=False)` to :func:`amaranth.utils.ceil_log2`
-* Update uses of :func:`amaranth.utils.log2_int(need_pow2=True)` to :func:`amaranth.utils.exact_log2`
+* Update uses of ``amaranth.utils.log2_int(need_pow2=False)`` to :func:`amaranth.utils.ceil_log2`
+* Update uses of ``amaranth.utils.log2_int(need_pow2=True)`` to :func:`amaranth.utils.exact_log2`
Implemented RFCs
@@ -63,7 +73,7 @@ Platform integration changes
* Added: :meth:`BuildPlan.execute_local_docker`.
* Added: :meth:`BuildPlan.extract`.
* Added: ``build.sh`` begins with ``#!/bin/sh``.
-* Deprecated: argument `run_script=` in :meth:`BuildPlan.execute_local`
+* Deprecated: argument ``run_script=`` in :meth:`BuildPlan.execute_local`.
* Removed: (deprecated in 0.4) :mod:`vendor.intel`, :mod:`vendor.lattice_ecp5`, :mod:`vendor.lattice_ice40`, :mod:`vendor.lattice_machxo2_3l`, :mod:`vendor.quicklogic`, :mod:`vendor.xilinx`. (`RFC 18`_)
diff --git a/docs/amaranth/latest/_static/documentation_options.js b/docs/amaranth/latest/_static/documentation_options.js
index 41b02e37..a4d5c02d 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.4.1.dev46',
+ VERSION: '0.4.1.dev48',
LANGUAGE: 'en',
COLLAPSE_INDEX: false,
BUILDER: 'html',
diff --git a/docs/amaranth/latest/changes.html b/docs/amaranth/latest/changes.html
index 8e5a3c89..af0dfee4 100644
--- a/docs/amaranth/latest/changes.html
+++ b/docs/amaranth/latest/changes.html
@@ -4,7 +4,7 @@
-