more NEWS;

--- a/NEWS	Mon Jul 02 16:25:41 2018 +0200
+++ b/NEWS	Mon Jul 02 16:26:11 2018 +0200
@@ -231,6 +231,9 @@
 
 *** HOL ***
 
+* Sledgehammer: bundled version of "vampire" (for non-commercial users)
+helps to avoid fragility of "remote_vampire" service.
+
 * Clarified relationship of characters, strings and code generation:
 
   - Type "char" is now a proper datatype of 8-bit values.