diff -r 10147ecf9196 -r 291f5848bf55 NEWS
--- a/NEWS	Thu Mar 02 15:55:20 2023 +0100
+++ b/NEWS	Thu Mar 02 16:09:22 2023 +0100
@@ -259,6 +259,10 @@
 scalable, and supports most options from "isabelle build". Partial
 builds are supported as well, e.g. "isabelle update -n -a".
 
+* System option "ML_process_policy" has been renamed to
+"process_policy", as it may affect other processes as well (notably in
+"isabelle build").
+
 * Isabelle/Scala provides generic support for XZ and Zstd compression,
 via Compress.Options and Compress.Cache. Bytes.uncompress automatically
 detects the compression scheme.