SF patch #800899: Making "|" directive from REs a bit clearer.
diff --git a/Doc/lib/libre.tex b/Doc/lib/libre.tex
index bf4df63..1aaebd9 100644
--- a/Doc/lib/libre.tex
+++ b/Doc/lib/libre.tex
@@ -186,14 +186,13 @@
\item[\character{|}]\code{A|B}, where A and B can be arbitrary REs,
creates a regular expression that will match either A or B. An
arbitrary number of REs can be separated by the \character{|} in this
-way. This can be used inside groups (see below) as well. REs
-separated by \character{|} are tried from left to right, and the first
-one that allows the complete pattern to match is considered the
-accepted branch. This means that if \code{A} matches, \code{B} will
-never be tested, even if it would produce a longer overall match. In
-other words, the \character{|} operator is never greedy. To match a
-literal \character{|}, use \regexp{\e|}, or enclose it inside a
-character class, as in \regexp{[|]}.
+way. This can be used inside groups (see below) as well. As the target
+string is scanned, REs separated by \character{|} are tried from left to
+right. When one pattern completely matches, that branch is accepted.
+This means that once \code{A} matches, \code{B} will not be tested further,
+even if it would produce a longer overall match. In other words, the
+\character{|} operator is never greedy. To match a literal \character{|},
+use \regexp{\e|}, or enclose it inside a character class, as in \regexp{[|]}.
\item[\code{(...)}] Matches whatever regular expression is inside the
parentheses, and indicates the start and end of a group; the contents