# HG changeset patch
# User Armin Rigo <arigo@tunes.org>
# Date 1480499734 -3600
#      Wed Nov 30 10:55:34 2016 +0100
# Branch extradoc
# Node ID c22e439112907a92b708fceb658dc23fcf980a78
# Parent  0917de0cf92d4b64f94ed4d88e2dce1861fdda48
tweak

diff --git a/download.html b/download.html
--- a/download.html
+++ b/download.html
@@ -182,8 +182,8 @@
 <li>The most up-to-date <a class="reference external" href="http://buildbot.pypy.org/nightly/trunk/">nightly binary builds</a> with a JIT, if the official
 release is too old for what you want to do. There are versions for
 different libc on this site too.</li>
-<li>Reverse debugger (RevDB): This version enables debugging your Python
-programs by going forward and backward in time.  See the <a class="reference external" href="https://bitbucket.org/pypy/revdb/">separate
+<li>Reverse debugger: This version enables debugging your Python
+programs by going forward and backward in time.  See the <a class="reference external" href="https://bitbucket.org/pypy/revdb/">RevDB
 documentation</a>.</li>
 </ul>
 <ul class="simple">
diff --git a/source/download.txt b/source/download.txt
--- a/source/download.txt
+++ b/source/download.txt
@@ -189,8 +189,8 @@
   release is too old for what you want to do. There are versions for
   different libc on this site too.
 
-* Reverse debugger (RevDB): This version enables debugging your Python
-  programs by going forward and backward in time.  See the `separate
+* Reverse debugger: This version enables debugging your Python
+  programs by going forward and backward in time.  See the `RevDB
   documentation`__.
 
 .. __: https://bitbucket.org/pypy/revdb/