diff --git a/mps/manual/build.txt b/mps/manual/build.txt
index eaae71ecb07..6212836306a 100644
--- a/mps/manual/build.txt
+++ b/mps/manual/build.txt
@@ -11,6 +11,12 @@ its libraries, and the tests and tools that come with it.
 You may be building the MPS for a number of different purposes.
 
 
+Getting hold of the MPS Kit
+---------------------------
+
+Download the latest MPS Kit release from `<http://www.ravenbrook.com/project/mps/release/>`_.
+
+
 Compiling the MPS for your project
 ----------------------------------
 
diff --git a/mps/manual/source/_templates/links.html b/mps/manual/source/_templates/links.html
new file mode 100644
index 00000000000..b62c13d7813
--- /dev/null
+++ b/mps/manual/source/_templates/links.html
@@ -0,0 +1,13 @@
+<h4>Downloads</h4>
+
+<p class="topless">
+<a href="http://www.ravenbrook.com/project/mps/release/{{ release }}/">MPS Kit release {{ release }}</a><br>
+<a href="http://www.ravenbrook.com/project/mps/release/">All MPS Kit releases</a>
+</p>
+
+<h4>Issues</h4>
+
+<p class="topless">
+<a href="http://www.ravenbrook.com/project/mps/issue/?action=list&amp;view=status%3dopen&amp;display=Job:Priority:Title&amp;sort=Priority">Known issues</a><br>
+<a href="http://www.ravenbrook.com/project/mps/issue/?action=fixed&release_fixed={{ release }}">Issues fixed in release {{ release }}</a>
+</p>
diff --git a/mps/manual/source/conf.py b/mps/manual/source/conf.py
index 05a2864cffe..2312fa14287 100644
--- a/mps/manual/source/conf.py
+++ b/mps/manual/source/conf.py
@@ -131,11 +131,11 @@
 
 # If true, SmartyPants will be used to convert quotes and dashes to
 # typographically correct entities.
-#html_use_smartypants = True
+html_use_smartypants = True
 
 # Custom sidebar templates, maps document names to template names.
 html_sidebars = {
-    '**': ['localtoc.html', 'relations.html', 'contact.html'],
+    '**': ['localtoc.html', 'relations.html', 'links.html', 'contact.html'],
 }
 
 # Additional templates that should be rendered to pages, maps page names to