On Fri, 31 Mar 2017, Bill Schmidt wrote: > OK, I've committed this as r246617. Gerald, please let me know > if you'd like any changes to the text.
This looks fine to me. Just "These are described briefly below." I'd written as "These are briefly described below." to avoid "briefly" seen as referring to "below". Gerald
