diff -r d219a959b951 -r dd18b59aded7 NEWS
--- a/NEWS	Thu Oct 07 22:44:18 2021 +0200
+++ b/NEWS	Thu Oct 07 22:46:47 2021 +0200
@@ -215,6 +215,11 @@
     rewritten using combinators, but the combinators are kept opaque,
     i.e. without definitions.
 
+* Nitpick:
+  - External solver "MiniSat" is available for all supported Isabelle
+    platforms (including Windows and ARM); while "MiniSat_JNI" only
+    works for Intel Linux and macOS.
+
 * Metis:
   - Renamed option "hide_lams" to "opaque_lifting". Minor INCOMPATIBILITY.
   - Updated the Metis prover underlying the "metis" proof method to