--- a/NEWS Sun Jul 20 21:50:07 2025 +0200
+++ b/NEWS Mon Jul 21 12:57:58 2025 +0200
@@ -22,7 +22,7 @@
intermediate [rule del] declarations. Furthermore, [dest] is now a
proper declaration on its own account, instead of the former expansion
[elim_format, elim]. Consequently, [rule del] no longer deletes the
-[elim_format] of the given rule, only the original rule. Rare
+[elim_format] of the given rule, only the original rule. Very rare
INCOMPATIBILITY: tools like "blast" and "auto" may fail in unusual
situations.