diff -r 1cbae8af034c -r 779cfa2573da NEWS
--- a/NEWS	Thu Feb 29 11:12:10 2024 +0100
+++ b/NEWS	Thu Feb 29 16:55:10 2024 +0100
@@ -67,7 +67,10 @@
 
 *** Pure ***
 
-* Added configuration option for unifier tracing, which is now disabled by default.
+* Added configuration option "unify_trace" (default: false) to guard
+tracing of higher-order unification, which is ubiquitous in assumption
+steps and rule applications via resolution. This is disabled by default
+to avoid breakdown due to massive amounts of spurious messages.
 
 
 *** ML ***