diff --git a/README.md b/README.md
index cf7c729e..a0364d65 100644
--- a/README.md
+++ b/README.md
@@ -528,10 +528,8 @@ Use [ediprolog](https://www.metalevel.at/ediprolog/) to consult
 Prolog code and evaluate Prolog queries in arbitrary
 Emacs buffers.
 
-Emacs definitions that show Prolog terms as trees are currently being
-developed and discussed in
-issue [#697](https://github.com/mthom/scryer-prolog/issues/697),
-and we welcome your comments.
+Emacs definitions that show Prolog terms as trees are available
+in [tools](tools).
 
 To *debug* Prolog code, we recommend the predicates from
 [**`library(debug)`**](src/lib/debug.pl), most notably: