diff -r 1dae5cbcd358 -r d76b150efdc2 NEWS
--- a/NEWS	Wed Feb 16 14:24:05 2022 +0100
+++ b/NEWS	Wed Feb 16 14:35:33 2022 +0100
@@ -57,10 +57,11 @@
   - Replaced sledgehammer option "keep" by
     "keep_probs", for problems files, and
     "keep_proofs" for proof files. Minor INCOMPATIBILITY.
-  - Added option "-r INT" to randomize the goals with a given seed before
+  - Added option "-r INT" to randomize the goals with a given 64-bit seed before
     selection.
   - Added option "-y" for a dry run.
   - Renamed run_action to run in Mirabelle.action record. Minor INCOMPATIBILITY.
+  - Run the actions on goals before commands "unfolding" and "using".
 
 * Meson
   - Added support for polymorphic "using" facts. Minor INCOMPATIBILITY.