add NEWS for mutable struct singletons change (#25854) (#25862)

also a small doc clarification

NEWS.md

@@ -60,6 +60,10 @@ Language changes
   * The syntax `1.+2` is deprecated, since it is ambiguous: it could mean either
     `1 .+ 2` (the current meaning) or `1. + 2` ([#19089]).
 
+  * Mutable structs with no fields are no longer singletons; it is now possible to make
+    multiple instances of them that can be distinguished by `===` ([#25854]).
+    Zero-size immutable structs are still singletons.
+
   * In string and character literals, backslash `\` may no longer
     precede unrecognized escape characters ([#22800]).
 

doc/src/manual/types.md

@@ -387,7 +387,7 @@ to point to different objects.
 Where required, mutable composite objects can be declared with the keyword `mutable struct`, to be
 discussed in the next section.
 
-Composite types with no fields are singletons; there can be only one instance of such types:
+Immutable composite types with no fields are singletons; there can be only one instance of such types:
 
 ```jldoctest
 julia> struct NoFields