Sorry, I was waiting for Jason to review (since he's the subject
matter expert), and I guess he was waiting for me?
Jason, can you please have a look and approve?
Only one comment from my side:
Index: doc/extend.texi
===================================================================
+In C++, the ternary operator @code{?:} is available. @code{a?b:c}, where
+@code{b} and @code{c} are vectors of the same type and @code{a} is an
+integer vector of the same size and number of elements as @code{b} and
+@code{c}
Why "same size and number of elements" in the above? What is the
difference between these two?
Gerald
