From 421cad4e68a8cf6b95b3a4414580bb9fb2d2ee12 Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Fri, 20 Oct 2023 14:25:34 +0100
Subject: [PATCH] Adding references to issues behind design choice of
 sphinx_rtd_theme, in response to review
 <https://github.com/Ravenbrook/mps/pull/166#discussion_r1365690820>.

---
 manual/source/conf.py | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/manual/source/conf.py b/manual/source/conf.py
index 58500be1dd..8e2613f1c1 100644
--- a/manual/source/conf.py
+++ b/manual/source/conf.py
@@ -38,8 +38,12 @@
     project = u'Memory Pool System'
     master_doc = 'index'
     # We use the Read the Docs theme for Sphinx for smooth publishing
-    # at readthedocs.io and low maintenance overheads.  See
-    # <https://sphinx-rtd-theme.readthedocs.io/>.
+    # at readthedocs.io, low maintenance overheads, local search, etc.
+    # See primarily `GitHub issue #98
+    # <https://github.com/Ravenbrook/mps/issues/98>`_ but also `GitHub
+    # issue #121 <https://github.com/Ravenbrook/mps/issues/121>`_ .
+    # See <https://sphinx-rtd-theme.readthedocs.io/> for theme
+    # documentation.
     html_theme = 'sphinx_rtd_theme'
     html_theme_options = {
         'includehidden': False,