CPP: Similarly update other @deprecated messages.

cpp/ql/src/Likely Bugs/OO/NonVirtualDestructor.ql

@@ -7,11 +7,11 @@
  * @id cpp/non-virtual-destructor
  * @problem.severity warning
  * @tags reliability
- * @deprecated
+ * @deprecated This query is deprecated, and replaced by
+ *             jsf/4.10 Classes/AV Rule 78.ql, which has far fewer false
+ *             positives on typical code.
  */
 
-// This query is deprecated, and replaced by jsf/4.10 Classes/AV Rule 78.ql, which has far fewer false positives on typical code.
-
 import cpp
 
 from Class base, Destructor d1, Class derived, Destructor d2

cpp/ql/src/PointsTo/Debug.ql

@@ -3,11 +3,9 @@
  * @description Query to help investigate mysterious results with ReturnStackAllocatedObject
  * @kind table
  * @id cpp/points-to/debug
- * @deprecated
+ * @deprecated This query is not suitable for production use and has been deprecated.
  */
 
-// This query is not suitable for production use and has been deprecated.
-
 import cpp
 import semmle.code.cpp.pointsto.PointsTo
 

cpp/ql/src/PointsTo/PreparedStagedPointsTo.ql

@@ -3,11 +3,9 @@
  * @description Query to force evaluation of staged points-to predicates
  * @kind table
  * @id cpp/points-to/prepared-staged-points-to
- * @deprecated
+ * @deprecated This query is not suitable for production use and has been deprecated.
  */
 
-// This query is not suitable for production use and has been deprecated.
-
  import semmle.code.cpp.pointsto.PointsTo
 
  select count(int set, Element location | setlocations(set, unresolveElement(location))),

cpp/ql/src/PointsTo/Stats.ql

@@ -3,11 +3,9 @@
  * @description Count the number points-to sets with 0 or 1 incoming flow edges, and the total number of points-to sets
  * @kind table
  * @id cpp/points-to/stats
- * @deprecated
+ * @deprecated This query is not suitable for production use and has been deprecated.
  */
 
-// This query is not suitable for production use and has been deprecated.
-
 import cpp
 import semmle.code.cpp.pointsto.PointsTo
 

cpp/ql/src/PointsTo/TaintedFormatStrings.ql

@@ -2,11 +2,9 @@
  * @name Taint test
  * @kind table
  * @id cpp/points-to/tainted-format-strings
- * @deprecated
+ * @deprecated This query is not suitable for production use and has been deprecated.
  */
 
-// This query is not suitable for production use and has been deprecated.
-
 import cpp
 import semmle.code.cpp.pointsto.PointsTo
 import semmle.code.cpp.pointsto.CallGraph