ANNOUNCE

--- a/ANNOUNCE	Fri Jan 08 23:59:28 2021 +0100
+++ b/ANNOUNCE	Sat Jan 09 00:11:52 2021 +0100
@@ -12,7 +12,7 @@
 
 * Isabelle/jEdit: improved monitoring of Java and ML process.
 
-* Isabelle/jEdit: various IDE feedback improvements.
+* Isabelle/jEdit: look-and-feel and IDE feedback improvements.
 
 * Pure: improved handling of named contexts and local syntax bundles.