diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index d245b10..57f19f9 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -70,7 +70,7 @@ jobs:
       - name: Set up PDM
         uses: pdm-project/setup-pdm@v3
         with:
-          python-version: '3.11'
+          python-version: '3.12'
       - name: Install dependencies
         run: |
           pdm install --dev
diff --git a/docs/conf.py b/docs/conf.py
index a51949e..08b94ce 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -1,12 +1,13 @@
 import os, sys
 sys.path.insert(0, os.path.abspath("."))
 
+import time
 import amaranth
 
-project = "Amaranth HDL toolchain"
+project = "Amaranth language & toolchain"
 version = amaranth.__version__.replace(".editable", "")
 release = version.split("+")[0]
-copyright = "2020—2023, Amaranth HDL developers"
+copyright = time.strftime("2020—%Y, Amaranth project contributors")
 
 extensions = [
 	"sphinx.ext.intersphinx",
diff --git a/docs/cover.rst b/docs/cover.rst
index c98da36..a1b3ff2 100644
--- a/docs/cover.rst
+++ b/docs/cover.rst
@@ -1,8 +1,11 @@
-Amaranth HDL documentation
-##########################
+.. This page is loaded if you click on the Amaranth logo.
+
+Amaranth project documentation
+##############################
 
 .. toctree::
    :maxdepth: 1
 
    index
-   Board definitions <https://amaranth-lang.org/docs/amaranth-boards/latest/>
+   Standard I/O components <https://amaranth-lang.org/docs/amaranth-stdio/latest/>
+   System on Chip toolkit <https://amaranth-lang.org/docs/amaranth-soc/latest/>