refactor: name the resource of each text in ErrorStrings and drop the one that has none

Every constant of the module copies one string resource of FSharp.Core (FSCore.resx) or of the .NET libraries, and the
comment of each constant now names the resource: the key in FSCore.resx, or the key in System.Private.CoreLib.

All texts but one were found in the resource tables of the assemblies (FSharp.Core 10.1, System.Private.CoreLib 10.0,
System.Collections.Immutable 10.0) by comparing the strings. `ListsHaveDifferentLengths` ("The lists have different
lengths.") is in none of them: it was the text of the modules written before ADR 0001, and no code uses it any more, so
it is removed.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Author: xperiandri

src/FSharp.Collections.Immutable/Helper/ErrorStrings.fs

@@ -4,56 +4,68 @@
 /// <remarks>
 /// The modules throw what the FSharp.Core function that they mirror throws (ADR 0001, D6). FSharp.Core keeps its resources
 /// internal, so the texts are copied. The texts of the .NET libraries are for the functions that report a BCL exception
-/// under the name of their own parameter.
+/// under the name of their own parameter. Each constant is the text of one resource and its comment names the resource,
+/// so a text that no resource of FSharp.Core or of the .NET libraries holds does not belong here.
 /// </remarks>
 module internal FSharp.Collections.Immutable.ErrorStrings
 
+/// FSCore.resx, arraysHadDifferentLengths.
 [<Literal>]
 let ArraysHadDifferentLengths = "The arrays have different lengths."
 
+/// FSCore.resx, indexOutOfBounds.
 [<Literal>]
 let IndexOutOfBounds = "The index was outside the range of elements in the list."
 
+/// FSCore.resx, arrayWasEmpty.
 [<Literal>]
 let InputArrayEmpty = "The input array was empty."
 
+/// FSCore.resx, inputListWasEmpty.
 [<Literal>]
 let InputListWasEmpty = "The input list was empty."
 
+/// FSCore.resx, inputMustBeNonNegative.
 [<Literal>]
 let InputMustBeNonNegative = "The input must be non-negative."
 
+/// FSCore.resx, inputMustBePositive.
 [<Literal>]
 let InputMustBePositive = "The input must be positive."
 
+/// FSCore.resx, inputSequenceEmpty.
 [<Literal>]
 let InputSequenceEmpty = "The input sequence was empty."
 
+/// FSCore.resx, inputSequenceTooLong.
 [<Literal>]
 let InputSequenceTooLong = "The input sequence contains more than one element."
 
+/// FSCore.resx, keyNotFound.
 [<Literal>]
 let KeyNotFound = "The item, key, or index was not found in the collection."
 
+/// FSCore.resx, keyNotFoundAlt.
 [<Literal>]
 let KeyNotFoundAlt = "An index satisfying the predicate was not found in the collection."
 
+/// FSCore.resx, listsHadDifferentLengths.
 [<Literal>]
 let ListsHadDifferentLengths = "The lists had different lengths."
 
-/// The message of the modules written before ADR 0001.
-[<Literal>]
-let ListsHaveDifferentLengths = "The lists have different lengths."
-
-/// The message of the .NET libraries for a negative argument, as `Array.BinarySearch` reports it.
+/// System.Private.CoreLib, ArgumentOutOfRange_NeedNonNegNum: the message of the .NET libraries for a negative argument, as
+/// `Array.BinarySearch` reports it.
 [<Literal>]
 let NeedNonNegativeNumber = "Non-negative number required."
 
+/// FSCore.resx, notAPermutation.
 [<Literal>]
 let NotAPermutation = "The function did not compute a permutation."
 
+/// FSCore.resx, notEnoughElements.
 [<Literal>]
 let NotEnoughElements = "The input sequence has an insufficient number of elements."
 
+/// FSCore.resx, outOfRange.
 [<Literal>]
 let OutOfRange = "The index is outside the legal range."