[time] Replace 'could' and 'might'

jensmaurer · tkoeppe · commit 12abdb4da4cf · 2023-05-10T18:48:00.000+01:00
as directed by ISO/CS.
diff --git a/source/time.tex b/source/time.tex
@@ -1338,7 +1338,7 @@
 \begin{note}
 This
 requirement prevents implicit truncation error when converting between
-integral-based \tcode{duration} types. Such a construction could easily lead to
+integral-based \tcode{duration} types. Such a construction can lead to
 confusion about the value of the \tcode{duration}.
 \end{note}
 \begin{example}
@@ -6957,7 +6957,7 @@
 
 \pnum
 \begin{note}
-This value might be computed on demand.
+This value can be computed on demand.
 \end{note}
 \end{itemdescr}
 
@@ -9267,13 +9267,14 @@
 The \tcode{save} data member is extra information not normally needed
 for conversion between \tcode{local_time} and \tcode{sys_time}.
 If \tcode{save != 0min}, this \tcode{sys_info} is said to be on ``daylight saving'' time,
-and \tcode{offset - save} suggests what offset this \tcode{time_zone} might use
+and \tcode{offset - save} provides a non-authoritative suggestion of
+the offset this \tcode{time_zone} would use
 if it were off daylight saving time.
-However, this information should not be taken as authoritative.
-The only sure way to get such information
-is to query the \tcode{time_zone} with a \tcode{time_point}
+A correct offset for the \tcode{time_zone} off daylight saving time
+can be obtained by querying the \tcode{time_zone} with a \tcode{time_point}
 that returns a \tcode{sys_info} where \tcode{save == 0min}.
-There is no guarantee what \tcode{time_point} might return such a \tcode{sys_info}
+There is no guarantee
+what \tcode{time_point} (if any) returns such a \tcode{sys_info}
 except that it is guaranteed not to be in the range \range{begin}{end}
 (if \tcode{save != 0min} for this \tcode{sys_info}).
 
