Address review comments.

Co-authored-by: Sarah Marshall <33814365+samarsha@users.noreply.github.com>

Author: kevinhartman

src/QsCompiler/CompilationManager/DataStructures.cs

@@ -480,7 +480,7 @@ private HeaderEntry(
         /// verifies that it corresponds instead to an invalid symbol and returns null unless the keepInvalid parameter has been set to a string value.
         /// If the keepInvalid parameter has been set to a (non-null) string, uses that string as the SymbolName for the returned HeaderEntry instance.
         /// </summary>
-        /// <exception cref="ArgumentException">The symbol of the extracted declaration is not an unqualified symbol and does not instead correspond to an invalid symbol.</exception>
+        /// <exception cref="ArgumentException">The symbol of the extracted declaration is not an unqualified or invalid symbol.</exception>
         /// <exception cref="ArgumentException">The extracted declaration is Null.</exception>
         internal static HeaderEntry<T>? From(
             Func<CodeFragment, QsNullable<Tuple<QsSymbol, T>>> getDeclaration,
@@ -536,7 +536,7 @@ public FileHeader(ReaderWriterLockSlim syncRoot)
         /// updates all elements that are larger than or equal to start + count with the given lineNrChange.
         /// </summary>
         /// <exception cref="ArgumentOutOfRangeException">
-        /// <paramref name="start"/> or <paramref name="count"/> are negative, or if <paramref name="lineNrChange"/> is smaller than -<paramref name="count"/>.
+        /// <paramref name="start"/> or <paramref name="count"/> are negative, or <paramref name="lineNrChange"/> is smaller than -<paramref name="count"/>.
         /// </exception>
         public void InvalidateOrUpdate(int start, int count, int lineNrChange)
         {

src/QsCompiler/CompilationManager/FileContentManager.cs

@@ -462,7 +462,7 @@ internal CodeLine GetLine(int index) =>
         /// <summary>
         /// Verify content update.
         /// </summary>
-        /// <exception cref="ArgumentOutOfRangeException"><paramref name="start"/> and <paramref name="count"/> are not valid for the current file content, where <paramref name="count"/> needs to be at least one.</exception>
+        /// <exception cref="ArgumentOutOfRangeException"><paramref name="start"/> and <paramref name="count"/> are not valid for the current file content, or <paramref name="count"/> is less than 1.</exception>
         /// <exception cref="ArgumentException">
         /// <paramref name="replacements"/> does not contain at least one element, or the indentation change is non-zero, or a replacement does not have a suitable line ending.
         /// </exception>

src/QsCompiler/CompilationManager/ScopeTracking.cs

@@ -553,7 +553,7 @@ private static List<CodeLine> GetUpdatedLines(this IEnumerable<CodeLine> lines,
         /// </summary>
         /// <exception cref="ArgumentException"><paramref name="replacements"/> does not at least contain one <see cref="CodeLine"/>.</exception>
         /// <exception cref="ArgumentOutOfRangeException">
-        /// The range defined by <paramref name="start"/> and <paramref name="count"/> is not within <paramref name="file"/>, where <paramref name="count"/> needs to be at least one.
+        /// The range defined by <paramref name="start"/> and <paramref name="count"/> is not within <paramref name="file"/>, or <paramref name="count"/> is less than 1.
         /// </exception>
         private static IEnumerable<CodeLine>? ComputeUpdates(FileContentManager file, int start, int count, CodeLine[] replacements)
         {