diff -r 0b55fbc51f76 -r 0a8277e9cfd6 NEWS
--- a/NEWS	Sun Aug 20 20:38:37 2017 +0200
+++ b/NEWS	Sun Aug 20 20:53:03 2017 +0200
@@ -105,6 +105,10 @@
 painted with thick lines; remaining errors in this situation are
 represented by a different border color.
 
+* The main Isabelle/jEdit plugin may be restarted manually (using the
+jEdit Plugin Manager), as long as the "Isabelle Base" plugin remains
+enabled at all times.
+
 * Update to jedit-5.4.0.