NEWS

--- a/NEWS	Mon Apr 07 13:55:12 2014 +0200
+++ b/NEWS	Mon Apr 07 16:37:57 2014 +0200
@@ -108,8 +108,7 @@
 simplification process, enabled by the newly-introduced
 "simplifier_trace" declaration.
 
-* Support for Navigator plugin, with toolbar buttons and keyboard
-shortcuts similar to major web browsers.
+* Support for Navigator plugin (with toolbar buttons).
 
 
 *** Pure ***