Update docs for lints that are removed for primary constructors

IIRC, we don't actually change the status of such lints until they can
no longer be used via a language override. Let me know if that's not
the case.

Also, if the feature doesn't ship in 3.14 then I'll need to update the
comments. Not sure whether I should commit now or wait until the flag
flip.

Change-Id: If73c6e121dfb3d6b8a72c52275dcaa9e1e994041
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/498740
Reviewed-by: Samuel Rawlins <srawlins@google.com>
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>

pkg/linter/messages.yaml

@@ -1514,6 +1514,8 @@ LinterLintCode:
     categories: [style]
     hasPublishedDocs: false
     documentation: |-
+      NOTE: This rule is removed in Dart 3.13.0; it is no longer functional.
+
       #### Description
 
       The analyzer produces this diagnostic when a parameter declaration is
@@ -10139,6 +10141,8 @@ LinterLintCode:
     categories: [style]
     hasPublishedDocs: true
     documentation: |-
+      NOTE: This rule is removed in Dart 3.13.0; it is no longer functional.
+
       #### Description
 
       The analyzer produces this diagnostic when a parameter of a constructor,
@@ -13889,7 +13893,7 @@ LinterLintCode:
     problemMessage: "Unnecessary 'const' keyword in an enum constructor."
     correctionMessage: "Try removing the keyword."
     state:
-      experimental: "3.14"
+      experimental: "3.13"
     categories: [brevity, style]
     hasPublishedDocs: false
     documentation: |-
@@ -17357,6 +17361,8 @@ LinterLintCode:
     categories: [languageFeatureUsage]
     hasPublishedDocs: false
     documentation: |-
+      NOTE: This rule is removed in Dart 3.13.0; it is no longer functional.
+
       #### Description
 
       The analyzer produces this diagnostic when a parameter is