diff -r 10669f47f6fd -r 66d487aa1b99 NEWS
--- a/NEWS	Sun Jan 12 14:14:30 2025 +0100
+++ b/NEWS	Sun Jan 12 14:16:21 2025 +0100
@@ -350,12 +350,11 @@
 
 *** System ***
 
-* The "find_facts" tool provides a full-text search engine as web
-application based on Apache Solr (see also https://solr.apache.org).
-Minimal example:
+* Find_Facts is a full-text search engine as web application based on
+Apache Solr (see also https://solr.apache.org). Minimal example:
 
     isabelle find_facts_index HOL
-    isabelle find_facts -v
+    isabelle find_facts_server
     open http://localhost:8080/app#search?q=Hilbert
 
 Persistent data is stored in $ISABELLE_HOME_USER/solr/.