diff --git a/mps/design/tests.txt b/mps/design/tests.txt
index 824dcaabd32..26273d68070 100644
--- a/mps/design/tests.txt
+++ b/mps/design/tests.txt
@@ -297,6 +297,8 @@ PC at the Ravenbrook office) runs the ``testci`` target on platforms
 w3i3mv and w3i6mv whenever there is a commit to the `mps GitHub
 repository`_.
 
+.. _Jenkins: https://jenkins.io
+
 _`.ci.jenkins.config`: There are instructions for installing and
 configuring Jenkins in [GDR_2016-04-14]_, [GDR_2016-04-15]_ and
 [GDR_2016-04-20]_.
diff --git a/mps/manual/source/design/index.rst b/mps/manual/source/design/index.rst
index 27dfd8c0f08..78d19d9b48d 100644
--- a/mps/manual/source/design/index.rst
+++ b/mps/manual/source/design/index.rst
@@ -40,6 +40,7 @@ Design
     sp
     splay
     stack-scan
+    tests
     testthr
     thread-manager
     thread-safety
diff --git a/mps/manual/source/design/old.rst b/mps/manual/source/design/old.rst
index 752c3ea97a0..49893a8805e 100644
--- a/mps/manual/source/design/old.rst
+++ b/mps/manual/source/design/old.rst
@@ -43,5 +43,4 @@ Old design
     seg
     strategy
     telemetry
-    tests
     trace